Since β is fully contained within α, this node is below the root of α but not below its gap.
the removal process leaves α with the links (links(α)−links(β))∪{ x }, where x is the link added in the removal process; the removal is validity preserving.