PLUS puede entenderse como una función que toma dos números naturales como parámetros devolviendo otro; puede verificarse que