Выдержка из книги
Кон П.М.
Свободные кольца и их связи
Рассмотрим произвольную m - ку элементов этого кольца ( т д), ненулевые элементы которой - зависимы справа; из-за наличия n - членного слабого алгоритма один из ненулевых элементов этой / n - ки у-зависит справа от остальных элементов. Поэтому в силу предыдущей леммы мы можем подействовать на нашу m - ку справа подходящей матрицей из ОЕт ( R) и в результате получить систему, ненулевые элементы которой - независимы справа и, следовательно, линейно независимы справа.
