Se verifica, por inducción, que los Naturales son cerrados respecto a la adición y a la multiplicación (de los Reales).