Lindenbaum補題