@aa42john I was wrong about the polynomial-naming trick: note that N>the constant term c, and f(N)-c is a multiple of N.