>>455
ああ、本当だごめん
俺が勘違いしてたわ、気づかなかった
確かに有理整数の加法群を最近扱ってなかったから、普通に勘違いしてた

個々の訂正が難しいから時を戻そう
「代数専攻さんの理解が誤っている」「PAで証明できれば証明できたことになる(>>413の2段落目以降全て)」「したがってヨビノリは間違いとは言えない」
という俺の主張は同じだな