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

16.18. Лемма

Построенная алгоритмом 16.2Г основа систем [SVS] подчиняется условиям теоремы 16.2Г.1, а значит, связана с [SVS] элементарным шагом типа Г, являясь её О-проекцией. █

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