>>252
>それぞれの方式がありますがなーー

永田さんはネーター局所環の素元分解一意性を証明されたんでしたっけ?