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