中国の剰余定理
The fact that formula_4 are polynomials in "x" follows from the Chinese remainder theorem. Indeed,