Теорема (теорема Кронекера - Капелли). Неоднородная система линейных уравнений совместна тогда и только тогда, когда ранг матрицы, составленной из коэффициентов при неизвестных, равен рангу расширенной матрицы.