text: Не имеет значения, какая вершина добавлена в X для образования Y, будет существовать Y-борт, по крайней мере, с четырьмя вершинами, который должен быть уникальным наибольшим бортом, поскольку он содержит более половины вершин не из Y. Этот большой Y-борт будет выбран в качестве β(Y) и будет подмножеством β(X).