11.9. Лемма
Пусть даны два каркаса
SKEL⚪ = <T⚪, SH⚪, COM⚪, SEL⚪> и
SKEL◎ = <T◎, SH◎, COM◎, SEL◎>
чьи деревья T⚪ и T◎ связаны элементарным шагом типа А (см.9.7А), то есть T⚪ является основой суммарного T◎.
Если при этом SKEL◎ корректен на некотором множестве sh0, то и SKEL⚪ также корректен на множестве shi, совпадающем с множеством унаследованных ключей того узла из T◎, который совпадает с корнем T⚪, поскольку все эти SH⚪ совпадают с соответствующими множествами из SH◎.
SKEL⚪ и SKEL◎ следовательно, также как и их деревья, сами связаны между собой элементарным шагом типа А и отношением К-проекции. █