@RAL1028 Die Schwierigkeit (siehe Quelle) besteht darin, dass dies bspw. nicht bei Idealen gilt (Hilbert-Monoid) ... wohl aber bei den natürlichen Zahlen (der Beweis mittels GCD steht etwas weiter hinten in der Quelle). Bitte dies selbst (wie geünscht) modifizieren und eintragen (das ständige Löschen ist zu demotivierend für mich). -- Ralf Preußen 15:56, 29. Jul. 2020 (CEST)