Лемма 16.21
Содержание (FireFox,Safari)

16.21. Лемма

В построенном алгоритмом 16.2Д ряде основа систем [SVS] .. [SVS]N соседние члены очевидно связаны ЭШ типа Д, а значит, находятся в отношении О-проекции.

Согласно свойству транзитивности основ (16.2) – в этом же отношении находятся, следовательно, и сами [SVS] .. [SVS]N. █

Назад Вперёд
ru/en