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

.