>>547

可換環の整拡大から誘導される射は全射である。

終了。