User:Orcodrilo/Sandbox

Theorem
State the theorem here.

Proof
State the proof here.