Endomorphism/Power is identity/Eigenvalues are roots of unity/Exercise