Lecture 2.1 - Structural Induction on Trees (optional)
Generalize the structural induction on list to general structures like trees.
To prove a property
P(t)for all treest:
* show for any leave l,P(l)holds
* for each internal nodetwith subtreess1...sn, showP(s1)&...&P …
