Avec x < y < 2x
Dans l'intervalle [x,y] qui est de longueur y-x, il existe un kp avec p premier supérieur à y-x
Alors y mod p < x mod p
Sur le dessin :
- y mod p est la longueur marron de droite
- x mod p est la longueur bleue + la longueur marron de gauche.
Comme les deux longueurs marrons sont égales, on a bien x > y mod p
