Nach Voraussetzung ist
und die v i {\displaystyle {}v_{i}} sind untereinander linear unabhängig. Daher ist v 1 ∧ v 2 ∧ … ∧ v m {\displaystyle {}v_{1}\wedge v_{2}\wedge \ldots \wedge v_{m}} in ⋀ m V {\displaystyle {}\bigwedge ^{m}V} nach Fakt ein Element einer Basis und insbesondere nicht 0 {\displaystyle {}0} . Es ist unter Verwendung von Fakt