Eigenspaces/Direct sum/Dimension/Fact/Proof

Proof

This follows directly from fact.