9.16. Теорема

Если N множеств S1 .. SN ЛИБО-связанных состояний имеют произведение

SS = S1 × … × SN

то и его состояния связаны между собой отношением ЛИБО.

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

Провеодится последовательным применением теоремы 8.9 для N-1 пары сомножителей. █

Назад Вперёд