ノーター正規化定理の内容と証明のアイデア