Es sei ${\displaystyle {}R}$ ein Zahlbereich mit Diskriminante ${\displaystyle {}\triangle _{R}}$. Es sei ${\displaystyle {}p}$ eine Primzahl.

Dann ist ${\displaystyle {}p}$ genau dann ein Teiler von ${\displaystyle {}\triangle _{R}}$, wenn der Faserring zu ${\displaystyle {}R}$ über ${\displaystyle {}p}$ nicht reduziert ist.