show/hide this revision's text 1 [made Community Wiki]

I have used Velleman's How to Prove It with success.