Sean $n$ y $m$ enteros mayores a $1$, y sean $a_1, a_2, \dots , a_m$ enteros positivos menores o iguales a $n^m$. Demuestra que existen enteros positivos $b_1, b_2, \dots , b_m$ menores o iguales a $n$, tales que \[mcd(a_1 + b_1, a_2 + b_2, \dots , a_m + b_m) \lt n.\]