Source: wikibot/lindenbaum-s-lemma

= Lindenbaum's lemma
{wiki=Lindenbaum's_lemma}