Homomorphism space/Dimension/Fact/Proof

Proof

This follows immediately from fact.