Euklidische Bereiche/Multiplikative euklidische Funktionen/Primkriterium/Fakt

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 .