>>854
>>>719が全て
いや、>>719は素因数分解についてしか語ってない。
しかし素元や素イデアルは素因数分解のためだけに定義されている訳ではない。その実例を示した。
だから「素元や素イデアルは素因数分解が成り立つように定義した」は的外れ。なぜなら結果的に成り立つんじゃね？と突っ込まれても何も言い返せないから。