En el entorno de los naturales, el aditivo formula_128 respecto al multiplicativo formula_88; establece una aplicación que verifica lo siguiente: