Пусть m₁(x), ..., m_n(x) – попарно взаимно простые многочлены, a₁(x), ..., a_n(x) – произвольные многочлены.

Докажите, что существует ровно один такой многочлен p(x), что

    p(x) ≡ a₁(x) (mod m₁(x)),

      ...

    p(x) ≡ a_n(x) (mod m_n(x))

и  deg p(x) < deg m₁(x) + ... + deg m_n(x).