Dies folgt aus Fakt und Fakt, angewendet auf das Hauptideal a = ( f ) {\displaystyle {}{\mathfrak {a}}=(f)} .
