Seien \( f(x):=\sum \limits_{i=0}^{n} a_{i} x^{i} \) und \( g(x):=\sum \limits_{i=0}^{m} b_{j} x^{j} \) reelle Polynome, also ai, bj ∈ ℝ für i = 0, ... ,n bzw. j=0,...,m, mit an,bm≠0.
Es soll nun gezeigt werden, dass die unten genannten Polynome q(x) und r(x) existieren mit f = q *g + r und k< m
q(x) := \( \sum \limits_{j=0}^{l} c_{j} x^{j} \) und r(x) := \( \sum \limits_{j=0}^{k} d_{j} x^{j} \)