Injective Linear Transformations

Proof of theorem of a linear transformation L: U → V.
L is injective if and only if its kernel is the 0 element of the domain U.
NB: 7:36 Should be "any two DIFFERENT inputs"