Propiedad cancelativa: Si formula_9 entonces formula_10 y recíprocamente.