Check the work please (Structural Induction)

Printable View