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.
Es sei ein
Körper und sei ein -dimensionalerVektorraum
mit einer
Basis und sei ein -dimensionaler Vektorraum mit einer Basis . Dann sind die Abbildungen