Sea formula_65 el monoide aditivo de los naturales.