Lineares Gleichungssystem/Eliminationslemma/Fakt

Es sei ein Körper und ein (inhomogenes) lineares Gleichungssystem über in den Variablen . Es sei eine Variable, die in mindestens einer Gleichung mit einem von verschiedenen Koeffizienten vorkommt.

Dann lässt sich jede von verschiedene Gleichung durch eine Gleichung ersetzen, in der nicht mehr vorkommt, und zwar so, dass das neue Gleichungssystem , das aus und den Gleichungen besteht, äquivalent zum Ausgangssystem ist.