9.19. Лемма

В построенном алгоритмом 9.7.Г ряде деревьев T1 ..TN соседние члены очевидно связаны элементарным шагом типа Г, а значит, находятся в отношении Д-проекции-прообраза.

Согласно свойству транзитивности (9.3) – в этом же отношении находятся, следовательно, и сами T1 и TN. █

Назад Вперёд