Endomorphism/Eigenvalue and characteristic polynomial/Fact/Proof