ちなみに>>363では、「Z/pZ が単純⇔pが素数は自明」ってとこに
「割り算」使ってる。
>>387は単に>>208にイチャモンつけたいだけだと思われ。無視しよう。