Tukey's Lemma/Also known as

Tukey's Lemma: Also known as
Tukey's Lemma is still occasionally found with the name of attached to it, but this is dying out.