Lindenbaum's theorem