Dzielenie wielomianów z resztą
Dla każdego wielomianu $W(x)$
i niezerowego wielomianu $P(x)$ istnieją wielomiany $Q(x)$ i $R(x)$ takie, że:

$W(x)=P(x)\cdot Q(x)+R(x)$

przy czym wielomian $R(x)$ nazywany resztą z dzielenia jest wielomianem zerowym lub  $\text{st.}R(x)<\text{st.}P(x)$.