Zu einem Ideal a ≠ 0 {\displaystyle {}{\mathfrak {a}}\neq 0} in einem Zahlbereich R {\displaystyle {}R}
ist der Restklassenring R / a {\displaystyle {}R/{\mathfrak {a}}} endlich.