Endomorphism/Invariant linear subspace/Polynomial/Action/Fact/Proof

Proof

This can be checked directly for the powers ${}X^{n}$ and for linear combinations of powers.

To fact