Теорема о преобразовании системы векторов в разрешенную.

Связать^?

Каждую систему m-мерных векторов, содержащих хотя бы один ненулевой вектор можно при помощи конечного числа элементарных преобразований превратить в разрешённую систему или систему, содержащую противоречивое уравнение.

Следствие1: Совместная система уравнений равносильна разрешённой системе.

Следствие2: Совместная система уравнений имеет либо одно решение, либо бесчисленно много.