Wenn a ≠ 0 {\displaystyle {}{\mathfrak {a}}\neq 0} frei ist, so folgt aus Fakt (2), dass es ein Hauptideal sein muss, und aus Fakt (1), dass der Erzeuger ein Nichtnullteiler sein muss. Daraus folgt auch die Umkehrung.
