|
for FireFox,Safari
|
8.7. ТеоремаПусть даны состояния s1⚪ .. sN⚪, их произведение s0⚪ = s1⚪ × … × sN⚪ и прообразы s1◎ .. sN◎. Если при этом существует состояние s0◎ = s1◎ × … × sN◎, то оно является прообразом для s0⚪ s0⚪ ⊴ s0◎
ДоказательствоПредположим обратное - в составе s0⚪ и s0◎ имеется некая переменная, имеющая в них разные значения. Такая переменная должна принадлежать некоторому si⚪ из s1⚪ .. sN⚪.То же самое значение должно иметь и s0⚪ и его прообраз si◎ из s1◎ .. sN◎. Значит и s0◎ должно содержать его же, что входит в противоречие с исходным предположением о различии значений общих переменных. █
Назад Вперёд |
ru/en |