Es sei
mit
-
für
und sei
-
mit
.
Es ist
,
da sonst die letzte Zeile von die Nullzeile wäre, was im invertierbaren Fall nicht sein kann. Wir betrachten die Produkte der -ten Zeile von mit den Spalten von . Dies führt zu den Bedingungen
für
und daraus folgt
für
.
Das gleiche Argument, angewendet auf die Untermatrix
ergibt Zeile von Zeile das Resultat.