Theorem ILTIS Invertible Linear Transformations are Injective and Surjective

Suppose $\ltdefn{T}{U}{V}$ is a linear transformation. Then $T$ is invertible if and only if $T$ is injective and surjective.

Proof
(in context)