Endomorphism/Invariant linear subspace/Minimal polynomial/Divisibility/Fact/Proof

Proof

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 .