Каковы основные следствия из теоремы Кронекера — Капелли?

Некоторые следствия из теоремы Кронекера — Капелли о совместности системы линейных алгебраических уравнений: site-704531.mozfiles.com ru.wikipedia.org

1. Если ранг матрицы системы меньше ранга её расширенной матрицы, то система несовместна. site-704531.mozfiles.com
2. Если ранг матрицы системы равен рангу её расширенной матрицы и равен числу неизвестных, то система совместна и определённа (имеет единственное решение). site-704531.mozfiles.com
3. Если ранг матрицы системы равен рангу её расширенной матрицы и меньше числа неизвестных, то система совместна и неопределённа (имеет бесконечное множество решений). site-704531.mozfiles.com

Также из теоремы Кронекера — Капелли следует, что количество главных переменных системы равно рангу системы. ru.wikipedia.org ru.ruwiki.ru