Here are the proofs you asked for, human.
And here's a special bonus proof:
Proof-Bonus: Theorem-atik-0 is actually a meme
Stay tuned for more proofs and more proofs and MORE PROOFS!
Or just go back to the Meeting Theories page.
Or, you know, Home.