Talk:Lindenbaum's lemma