Chinese remainder theorem
The fact that formula_4 are polynomials in "x" follows from the Chinese remainder theorem. Indeed,