Homomorphism space/Dimension/Fact/Proof

< Homomorphism space < Dimension < Fact
Proof

This follows immediately from fact.