The Mitillos-Ventullo Lemma

Discovered after Pelsmajer told them to fight to the death after class, the Lemma has a wide variety of uses, despite the inelegance of brute force proofs:

Lemma: I am right.

Proof: Challenge me. QED