Sea x un número cualquiera que sea mayor que a.