Euklidische Bereiche/Multiplikative euklidische Funktionen/Primkriterium/Fakt
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 .