Wenn du so ein LGS auf Stufenform (Dreiecksform) bringst und
sukzessive eine Variable nach der anderen ausrechnest, kommst
du für jedes xi auf eine Gleichung der Art a * xi = b
Diese hat für a <>0 genau eine Lösung und
für a=0 entweder keine (für b<>0) oder
unendlich viele Lösungen (für b=0)
Also hat auch so ein LGS genau eine, unendlich viele oder keine.
Aber niemals genau 2.
Über F2 sind es im Fall 0*xi=0 nicht unendlich viele, denn es
gibt ja nur 2 Elemente, also sind es dann genau 2.
Wenn das bei mehreren Variablen eintritt sind es eben 4,8,16 etc.
Es gibt als o keine, genau eine oder eine Anzahl, die eine
Zweierpotenz ist; jedenfalls keine 3