"Thereby proving Zorn's Lemma."

GetYarn