Dies folgt aus Fakt, da im reduzierten Fall die Exponenten r j = 1 {\displaystyle {}r_{j}=1} sind, und dann ( p , F j ) {\displaystyle {}(p,F_{j})} Primideale sind, oder aus Fakt in Verbindung mit Fakt.