⁹⁰Zum Hauptidealsatz siehe 13.1.