Endomorphism/Invariant linear subspace/Minimal polynomial/Divisibility/Fact/Proof
Appearance
Let be the minimal polynomial of . For , we have
due to fact. Therefore, annihilates the restricted endomorphism , and so is a multiple of the minimal polynomial of .