Совершенно верно. Неравенство нулю главного определителя означает единственность решений. Геометрически - непараллельные прямые на плоскости всегда пересекаются и ровно в одной точке.
При любой правой части. А вот если главный определитель равен нулю, то от правой части многое зависит. В теореме же говорится о неравенстве рангов матриц.
Спасибо!
По теореме Крон.-Кап. если ранги определять по минорам, то будет ли достаточно для единственности (любой системы

на

),если ранг основной матрицы окажется не равным нулю?!
А если главный определитель равен нулю, то как дальше быть (если речь идет о системе

на

) ? Искать ранги? или в случае 2 на 2 проще?!