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

16.10. Лемма

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

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