Sejam U, T e S:
- U = {a1, a2, ..., an,
an+1, an+2}
- T = (P a1 (P a2 (P a3 ... (P
an (P an+1 an+2)
...)
- S = {a1, an+2}
Nessas condições, a árvore resultante é T' = (Q a
1
a
n+2 a
n+1 a
n
a
n-1 ... a
3 a
2). A árvore T possui
n+1 nós P, enquanto T' tem um único nó Q. Portanto, a diferença no
número de nós é
n.