Euklidische Bereiche/Multiplikative euklidische Funktionen/Primkriterium/Fakt mit Beweisklappe

Aus Wikiversity

Lemma[Bearbeiten]

Es sei ein euklidischer Bereich mit einer multiplikativen euklidischen Funktion

(es werden also nur positive Werte angenommen). Ist dann für die Zahl prim, so ist irreduzibel in .