Der Satz über Ideale in einem euklidischen Bereich.