Для многочленов \(A(x)\) и \(B(x) \ne 0\) всегда найдутся \(Q(x)\) и \(R(x)\), такие что \(A(x) = Q(x) \cdot B(x) + R(x)\), причём степень \(R(x)\) меньше степени \(B(x)\).