分裂補題
本はありません。