Lindenbaum theorem