Theorem 1. blah blah blah
Proof. First step is true.
First step is true because blah blah blah.
Second step is true. Final step is true. □