Paragraph

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

in-context