>>128
いや、これは微妙か・・・。
まあでも、素元ならば既約元は整域前提で証明するし、どんな整域のときに両者が一致するか考えたりするから、整域で考えるのは当たり前かもね。