Es wird
Wenden wir den Algorithmus in formaler Schreibweise an. Es ist .
Mit der Zeilenstufenform
Mit der Zeilenstufenform
Nun ist . Damit erhalten wir
In Stufe nehmen wir .
In Stufe ist zunächst .
Da wir nun auf Augenschein hin keine Auswahl mehr treffen können, formen wir nun die Matrix in die Zeilenstufenform
(Man hätte auch streichen können, nicht aber , wie man dieser Zeilenstufenform ansehen kann.)
In Stufe erhalten wir die Basis
Wir setzen die Ketten , , in die Matrix