9.14. Лемма

Пусть даны ВС VS1◎ … VSN◎ с каналами, образованными ключами k1, … , kM:
sij◎ ∈ Sij◎: sij◎ ⊵ kj, (i = 1..N, j = 1..M)
которые имеют произведение:
VS◎ = ∏(VSi◎)k1, … ,kM, (i = 1..N)

Если проекции указанных ВС:
VSij◎ ⊵ VSij⚪, (i = 1..N, j = 1..M)
сохраняющими, однако, в составе своих состояний исходные ключи в качестве проекций
sij⚪ ∈ [VS]ij⚪: sij⚪ ⊵ kj, (i = 1..N, j = 1..M)

то такие их проекции также имеют произведение на тех-же каналах:
VS⚪ = ∏(VSij⚪)k1, … ,kM, (i = 1..N)

█

Назад Вперёд