Wir brauchen folgende Infos, \(\langle.,.\rangle\) bezeichne das jeweils passende Standard-Skalarprodukt.
$$\forall v \in \R^n: \forall u \in \R^k: \quad \langle v,Xu\rangle=\langle X^Tv,u\rangle$$
$$\forall u \in \R^k: \quad Xu=0 \iff \forall v \in \R^n: \quad 0=\langle v,Xu\rangle$$
$$\forall u \in \R^k:\quad u \perp R(X^T) \iff \forall v \in \R^n: \quad 0=\langle X^Tv,u\rangle$$
Damit folgt die Behauptung