⁸Zum Hauptidealsatz siehe. 13.1.