17.4. Лемма

Пусть даны основы двух согласованных с ними систем ВС

[SVS◎] = <T◎, COM◎, SEL◎, VS⧋◎, VS⫧◎> и связанная с ней одним из ЭШ типа Б или ЭШ типа В её О-проекция

[SVS⚪] = <T⚪, COM⚪, SEL⚪, VS⧋⚪, VS⫧⚪>

такие, что отличие между ними согласно замечанию 1 заключается в замене некоторой системообразующей ВС на её ВС-прообраз, что приводит к изменениям в ряду вышестоящих ВС.

Тогда по индукции:

• для ЭШ типа А – согласно замечанию 1
• для ЭШ типа Б – согласно теореме 17.3
• для ЭШ типа В – согласно теореме 17.3
• для ЭШ типа Г – согласно теореме 17.1
• для ЭШ типа Д – согласно замечанию 1

каждая такая ВС является ВС-прообразом для соответствующей ВС из SVS⚪.

Значит, с учетом неизменных, все(!) системообразующие ВС из системы SVS◎ являются ВС-прообразами для соответствующих ВС из SVS⚪. █

Назад Вперёд