¿Existe un polinomio de segundo grado $p(x, y)$ en dos variables tal que cada entero no negativo $n$ es igual a $p(k,m)$ para uno y solo un par ordenado $(k,m)$ de enteros no negativos?