Division mit Rest
The relation between both concepts above arises when noticing the following property: formula_12 is a root of formula_9 if and only if formula_23. Whereas one logical inclusion ("if") is obvious, the other ("only if") relies on a more elaborate concept, the Euclidean division of polynomials, here again strongly reminding of the Euclidean division of integers.