Last updates: 30 October 2009
Alternative way of displaying the proofs.
First theorem.
Proof.
The body of the proof goes here.
Something.
Sub-something 1.
Sub-something 2.
Something else.
Next theorem.