In this case, G has a haven of order k + 1, in which β(X) is defined to be this unique large X-flap.
В этом случае G имеет укрытие порядка k + 1, в котором β(X) определяется как уникальный большой X-борт.