Resultado de la búsqueda: Números naturales tienen único sucesor?