Let f(x) be a polynomial with positive integer coefficients. For every n∈N, let a1(n),a2(n),…,an(n) be fixed positive integers that give pairwise different residues modulo n and let
g(n)=i=1∑nf(ai(n))=f(a1(n))+f(a2(n))+⋯+f(an(n))
Prove that there exists a constant M such that for all integers m>M we have gcd(m,g(m))>20232023.