Structural Induction on complete quaternary trees.

Printable View