prove:
when xz= yz then x=y if z is not equal to zero
when xz= yz then x=y if z is not equal to zero