Olimpíadas ⇒ Divisibilidade

[Itz]

Prove que para qualquer inteiro positivo m, existe um número infinito de
pares de inteiros (x,y) satisfazendo as condições : 1. x e y são primos entre si;
2. y divide x^2+ m;
3. x divide y^2+ m.