Twierdzenie (Kroneckera-Capellego)
Układ równań liniowych AX=B ma rozwiązanie wtedy i tylko wtedy, gdy rząd macierzy A jest równy rzędowi macierzy rozszerzonej [A\B] tego układu: