Eigenvalues as Roots of the Characteristic Polynomial