Is this proof by induction set out well?

Printable View