既約判定
本はありません。