The Marksmith AU

The proof with no ending

The algebra runs out, so you stop.

A proof closes with a sentence saying what is proved and why. In a contradiction, name the two things that cannot both hold; in an induction, say the result follows.

Next time: Write the closing sentence.

Try it: Work one on a block