有關裡面一段
for d in D ,d is not z
dD = {dd1,...,ddn}
if ddi = ddj for some 1≦i≦j≦n
since D is an integral domain and d is not z, we have di=dj
so dD = D
在課本的682頁
我想問的是，是否 integral domain有cancellation law of multiolication？
有的話，是什麼原因？
沒有的話，di=dj又是如何得出?

sorry 我在講義28頁看到解答了＠＠

(可以從integral domain定義的1 & 3推得唷:P)