Theorem VRI Vector Representation is Injective

The function $\vectrepname{B}$ (Definition VR) is an injective linear transformation.

Proof
(in context)