Endomorphism/Eigenvalue and characteristic polynomial/Fact