11.17. Лемма
Пусть даны два каркаса
SKEL⚪ = <T⚪, SH⚪, COM⚪, SEL⚪> и
SKEL◎ = <T◎, SH◎, COM◎, SEL◎>
чьи деревья T⚪ и T◎ связаны элементарным шагом типа В, то есть T⚪ является дополнением суммарного T◎.
Если при этом SKEL◎ корректен на некотором множестве Sh0, то и SKEL⚪ также корректен на этом же множестве Sh0, поскольку все его SH⚪ совпадают с соответствующими множествами из SH◎.
SKEL⚪ и SKEL◎, следовательно, также как и их деревья, сами связаны между собой элементарным шагом типа В и отношением проекции. █