定理12.4
本はありません。