（中国剩余定理）设 $p_1(x), p_2(x), \cdots, p_n(x) \in K[x]$ 是 $n$ 个两两互素的多项式，$g_1(x), g_2(x), \cdots, g_n(x) \in K[x]$ 是任意 $n$ 个多项式，则存在 $f(x) \in K[x]$ 使得

$$
\begin{cases}f(x) \equiv g_1(x) & \left(\bmod p_1(x)\right) \\ f(x) \equiv g_2(x) & \left(\bmod p_2(x)\right) \\ \cdots \cdots \cdots \cdots & \\ f(x) \equiv g_n(x) & \left(\bmod p_n(x)\right)\end{cases}
$$