formula_22未満の基数は高々可算な基数である。