Q3 Matemática  (IMO Shortlist 1987)

Existe um polinômio de segundo grau $p(x,y)$ em duas variáveis tal que todo inteiro não negativo $n$ é igual a $p(k,m)$ para um e apenas um par ordenado $(k,m)$ de inteiros não negativos? Proposto pela Finlândia.