Es sei ein inhomogenes lineares Gleichungssystem über einem Körper
in Dreiecksgestalt
-
mit
gegeben, wobei vorne die Diagonalelemente
alle ungleich
seien.
Dann stehen die Lösungen
in Bijektion zu den Tupeln
.
D.h. die hinteren
Einträge sind frei wählbar und legen eine eindeutige Lösung fest, und jede Lösung wird dabei erfasst.