9.9. Лемма

ВС vs*, являющаяся произведением неких vsi, (i = 1..N), является также прообразом для каждой из ВС-сомножителей vsi.

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

Непосредственно следует из определения прообраза ВС, согласно которому прообразом произвольного состояния из vsi здесь служит его произведение на любые N-1 состояний из других ВС-сомножителей.

Назад Вперёд