9.20. Лемма

Пусть даны N И-связанных ВС vs1 Иcom ... Иcom vsN.

Тогда для любого состояния s1, принадлежащего vs1, найдутся N-1 состояний s2 .. sN из оставшихся ВС, находящихся с s1 в отношении И.

Доказательство

Назад Вперёд