Theorem KILT Kernel of an Injective Linear Transformation

Suppose that $\ltdefn{T}{U}{V}$ is a linear transformation. Then $T$ is injective if and only if the kernel of $T$ is trivial, $\krn{T}=\set{\zerovector}$.

Proof
(in context)