Proof design

Plan lemmas and select proof architecture.

One step at a time. Answers stay hidden until you have had a go.