ThmDex – An index of mathematical definitions, results, and conjectures.
P3724
The second claim is clear. For any $x \in \mathbb{R}^{2 \times 1}$, we can just use the first two columns to write \begin{equation} x = x_1 \cdot a_1 + x_2 \cdot a_2 \end{equation} which establishes the first claim. $\square$