Пусть

- матрица линейной системы с

неизвестными, а ступенчатая матрица

получена из

элементарными преобразованиями строк. Покажите что число свободных неизвестных равно

минус число ведущих элементов в

.
Показывать собственно и нечего - после приведения матрицы

к ступенчатому виду и если при этом в конце процесса не получились нули в строке слева против ненуля справа, то остаётся лишь назвать все неизвестные, коэффициенты при которых не были ведущими в процессе преобразований, объявить свободными, перенести их вправо и получить общее решение с указанным числом параметров.