| OME Local |
| OME Andaluza |
| OME Nacional |
| OIM |
| IMO |
| EGMO |
| USAMO |
| ASU |
| APMO |
| OMCC |
| Retos UJA |
Tomando $x=k$ e $y=a$, esta propiedad nos dice que $k-a$ divide a $p(k)-p(a)=7$, luego $k-a$ tiene que ser igual a $\pm 1$ o $\pm 7$, los factores enteros de $7$. Análogamente, para $x=k$ e $y=a+1$, se tiene que $k-a-1$ divide a $p(k)-p(a+1)=7$, luego $k-a-1$ tiene que ser igual a $\pm 1$ o $\pm 7$, esto es, $k-a$ tiene que ser igual a $-6$, $0$, $2$ u $8$, lo cual es absurdo (tenía que ser $\pm 1$ o $\pm 7$).
Nota. No se ha usado la hipótesis de que $p(a+2)=1$.