Template:Theorem and proof

Theorem

{{{theorem}}}

Proof

{{{proof}}}