debe ser menor que cualquier número racional positivo, por lo que debe ser un infinitesimal; dado que los números reales no contienen infinitesimales no nulos, se sigue que la diferencia debe ser cero, y por lo tanto los dos valores son el mismo.