正規化定理
本はありません。