Um zu zeigen, dass V als R-Vektorraum endliche Dimension hat, werden wir eine R-Basis von V finden und zeigen, dass sie genau doppelt so viele Vektoren enthält wie eine C-Basis von V.
Angenommen, V hat eine C-Basis {v1, v2, ..., vn}. Dann können wir eine R-Basis von V durch die Vektoren {(v1,0), (v2,0), ..., (vn,0), (0,v1), (0,v2), ..., (0,vn)} erhalten. Diese Vektoren sind linear unabhängig und erzeugen den gesamten Vektorraum V, da jeder Vektor in V als Linearkombination dieser Vektoren dargestellt werden kann. Da es 2n Vektoren in dieser R-Basis gibt und n Vektoren in einer C-Basis, ist die Dimension von V als R-Vektorraum 2n.