Linear Algebra: Proof of formula for determining Eigenvalues