>>897の2)について訂正：
ab＝c(3d)＝(c3)d＝(3c)d＝3(cd)∈Z で、cd∈Z から → ab＝a(3d)＝(a3)d＝(3a)d＝3(ad)∈Z で、ad∈Z から