show/hide this revision's text 1 [made Community Wiki]

Sperner's Theorem on antichains in subset lattice and the Sunflower Lemma. Two great theorems in combo which require little to no theory to introduce and have extremely beautiful proofs.