Содержание (FireFox,Safari)
11.3. Элементарный шаг преобразования дерева - типа Б
Переход от дерева T⚪ к T◎ называется элементарным шагом (преобразования) типа Б в том случае, если вместе с неким T∆ дерево T⚪ служит дополнением суммарного T◎
причём в T⚪ вершина nd является листом. █
Замечание
Очевидно, рассмотренный тип Б элементарного усложнения дерева T⚪ сохраняет ячейку, в качестве листа имеющую вершину nd, а значит, сохраняет и произвольный фрейм дерева T⚪. █