
Sean n y m enteros mayores a 1, y sean a1,a2,…,am enteros positivos menores o iguales a nm. Demuestra que existen enteros positivos b1,b2,…,bm menores o iguales a n, tales que mcd(a1+b1,a2+b2,…,am+bm)<n, donde mcd(x1,x2,…,xm) denota el máximo común divisor de x1,x2,…,xm.