So I need to prove that if a,b in Z, "a" not equal to 0, and ab=ac, then b=c. So if I say that if ab=ac, then ab-ac=o. Then by the distributive law a(b-c)=0. So if a(b-c)=0, and a does not equal to 0, then b-c=0, hence b=c. I don't understand why do I need to show that (ab) is non zero? Also...