Uendelig løsninger krever
Klikk for å snu kortet
Konsistens + minst én fri variabel (rangA<n\operatorname{rang}A<nrangA<n).
Space / Enter for å snu