Hola Nicolás, tu definición también es correcta. Vos definiste la función por ERP en .
La definición de arriba que usa resto usa el ERP de los naturales.
En este caso, la función se puede definir siguiendo cualquiera de los dos esquemas, y ambas definiciones están bien.
Saludos