Die Polynomdivision liefert
\(p = q\cdot (X - x_0) + r\)
mit \(q,r\in \operatorname{Pol}_K\) und \(\operatorname{Grad}(r) < \operatorname{Grad}(X-x_0)\).
Weil \(p\) und \(q\cdot (X - x_0)\) bei \(x_0\) eine Nullstelle haben, hat auch \(r\) bei \(x_0\) eine Nullstelle.