und ∀a, b∈R : b≠0⇒∃q, r : a = b⋅q + r∧| r| < | b| .
(Pol. in mehreren Variablen nicht, ⇒ Gröbnerbasen)
Beweis:
Sei I Ideal in R . Zu konstruieren ist e mit I = 〈e〉 .