Lindenbaum's lemma (source code)

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