z∈R ve (R,+,⋅) cisim olduğundan sıfırdan farklı her elemanının tersi vardır. xz=yz⇒xzz−1=yzz−1⇒x=y
xz=yz olsun. x=x1=x(zz−1)=xz(z−1)=yz(z−1)=y(zz−1)=y bulunur.