⁴Zum Hauptidealsatz siehe 13.1.