Sustav
odnosno kao
Istoznačnost ova dva zapisa slijedi iz definicije jednakosti matrica 2.2. Matrica se zove matrica sustava, a vektor se zove slobodni vektor ili vektor slobodnih članova. Zbog jednostavnosti možemo izostaviti vektor jer se njegovo prisustvo podrazumijeva pa stoga često zapisujemo proširenu matricu sustava
Slično, sustav u obliku
gdje je odgovarajuća nul-matrica.
Sada možemo lako dokazati sljedeći teorem.
pa je teorem dokazan.
Ovaj teorem nam zapravo kaže da je uvijek ispunjen točno jedan od tri slučaja: