Система линейных алгебраических уравнений совместна тогда и только тогда, когда ранг основной матрицы системы равен рангу расширенной матрицы. Это формулировка теоремы: