Gemäß Fakt ist
Wir behaupten, dass die Idealgleichheit
gilt. Die Inklusion ⊇ {\displaystyle {}\supseteq } ergibt sich aus
und wegen
Die Inklusion ⊆ {\displaystyle {}\subseteq } ergibt sich aus der letzten Rechnung und aus
Deshalb ist