Lindenbaum's lemma