Paragraph
Prove that your procedure from part (a) always works for any tree.
in-context