Fakt besagt in Verbindung mit Fakt, dass wenn man bei einem Dedekindbereich und spezieller einem Zahlbereich R {\displaystyle {}R} zur Lokalisierung R m {\displaystyle {}R_{\mathfrak {m}}} an einem maximalen Ideal m {\displaystyle {}{\mathfrak {m}}} übergeht, dass dort die eindeutige Primfaktorzerlegung gilt.
