. "Suppose k is a polynomial in x and y, and k(x-1) = q for q some polynomial in y." . . . .