We used induction to prove two claims involving labelled trees:
We also used a recursion to tree to find the closed form for a "divide and conquer" type of recursive definition.