Eigenvalues of a 2×2 matrix · Proofwise