Item 4.4.6.c.

Prove that your procedure from part (a) always works for any tree.