Esto convierte (esto es, ℕ con esta nueva operación), en un monoide conmutativo.