Theorem ILTD Injective Linear Transformations and Dimension

Suppose that $\ltdefn{T}{U}{V}$ is an injective linear transformation. Then $\dimension{U}\leq\dimension{V}$.

Proof
(in context)