Lineares inhomogenes Gleichungssystem/Elimination/Stufengestalt und Dreiecksgestalt/Fakt/Beweis
Dies folgt direkt aus dem Eliminationslemma, mit dem man sukzessive Variablen eliminiert. Man wendet es auf die erste (in der gegebenen Reihenfolge) Variable (diese sei ) an, die in mindestens einer Gleichung mit einem von verschiedenen Koeffizienten auftaucht. Diese Eliminationsschritte wendet man solange an, solange das im Eliminationsschritt entstehende variablenreduzierte Gleichungssystem (also ohne die vorhergehenden Arbeitsgleichungen) noch mindestens eine Gleichung mit einem von verschiedenen Koeffizienten erhält. Wenn dabei Gleichungen in der Form der letzten Gleichung übrig bleiben, und diese nicht alle die Nullgleichung sind, so besitzt das System keine Lösung. Wenn wir setzen und die anderen Variablen mit benennen, so erhält man das angegebene System in Dreiecksgestalt.
