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

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  .