定理12.4
記事はありません。