Además la multiplicación es cancelativa.