xの4次式f(x)=ax^4+(2a+b)x^3+(3b-a)x^2+2(b-a)xが、すべての整数nに対してf(n)が整数であることを満たすためには、24aと6bが整数であることが必要十分であることを示せ