整列可能定理
本はありません。