Division mit Rest
Der Polynomring formula_84 in einer Variablen formula_85 ist euklidisch. Dort gibt es zur Berechnung des formula_1 eine Division mit Rest.