Soit $(x,y)$ un couple d'entiers relatifs.
Réciproquement, soient $k$ et $k'$ deux entiers relatifs puis $x=x_0+5k$ et $y=y_0+8k'$.
Les couples $(x,y)$ d'entiers relatifs solutions de $(E)$ sont les couples de la forme $(1+5k,1+8k)$, $k\in\mathbb{Z}$.
et donc $m\equiv9\;(\text{modulo}\;40)$.
Pour $k=50$, on obtient $m=2009$.
Le plus petit entier $m$ supérieur ou égal à $2000$ et congru à $9$ modulo $40$ est $m_0=2009$.
Pour tout entier naturel $k$, $2^{3k}\equiv1\;(\text{modulo}\;7)$.
Ainsi, il existe un entier naturel $k$ tel que $2009=3k+2$. On a alors $2^{2009}=2^{3k}\times2^2$. D'après la question précédente, on a $2^{2009}\equiv1\times2^2\;(\text{modulo}\;7)$ et donc $2^{2009}\equiv4\;(\text{modulo}\;7)$. Comme $0\leqslant 4< 7$, on a montré que
le reste de la division euclidienne de $2^{2009}$ par $7$ est $4$.
Les entiers solutions sont $1001$, $1008$, $2002$, $2009$, $3003$, $4004$, $5005$, $6006$, $7000$, $7007$, $8001$, $8008$, $9002$ et $9009$.