Structural induction is a piece of cake! So tackle that proof...