2と-2はZの既約元であり、2は-2を割り切り-2は2を割り切る
よって元々の主張が成り立たない

a|bかつb|aならばaとbは単元倍を除いて等しいが、a=bになるとは限らない
よってその論証も間違ってる