Das System Ax=bAx=bAx=b ist lösbar genau dann, wenn bbb im Bild von AAA liegt.
Äquivalent: rang(A)=rang(A∣b)\operatorname{rang}(A)=\operatorname{rang}(A|b)rang(A)=rang(A∣b).