Si además se cumple la propiedad conmutativa: