Krull's Hauptidealsatz