Es seien
und
Basen von
bzw.
und es seien die Spaltenvektoren von .
Die Abbildung hat die Eigenschaft
-
wobei der -te Eintrag des -ten Spaltenvektors ist. Daher ist
-
Dies ist genau dann , wenn
für alle ist, und dies ist äquivalent zu
-
Dafür gibt es ein nichttriviales
(Lösungs-)Tupel
genau dann, wenn die Spalten linear abhängig sind und genau dann, wenn
nicht injektiv ist.