la propiedad de cancelacion se da solo en dominios enteros (en particular en Z) y consiste en:
*sean a,b,c,d en Z, si a es distinto de 0 y se cumple que ab=ac entonces b=c
o dicho de otro modo:
*sean a,b en Z, si a es distinto de 0 y b es distinto de 0 entonces ab es distinto de cero
o dicho de otra manera:
*sean a,b en Z, si ab=0 entonces a=0 ó b=0
todo esto quiere decir que en los dominios enteros no hay divisores de cero distintos de cero
