ネーターの正規化定理と上昇定理の言ってることを理解するだけで一年かかりそう