Theorem Sample
(Click "Prove" to run)
Prove Theorem:
{Your Theorem Here}
Proof Trace