Wir betrachten den ersten, zweiten, dritten und fünften Vektor der Familie, also
-
als Matrix. Die Determinante dieser Matrix ist nach der Entwicklung nach der ersten Spalte gleich
-
der Rang der Matrix ist also
und die sechs Vektoren erzeugen den Gesamtraum. Die Dimension ist also
.