Proposition: Korollar - A und B sind Zeilenäquivalent iff TNF von A = TNF von B

Die Treppennormalform wird durch Elementare Zeilenumformungen berechnet. Das heißt, seien Matrizen.

Berechnen wir die TNF zu und die TNF zu

Sollte sich herausstellen, dass so ist das äquivalent dazu, dass .

Beweis

Wenn gilt, dass

Dann gilt nach Bemerkung 3.3.3 auch, dass