16.6. Лемма

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

Назад Вперёд