Induction on the number of nodes

Printable View