Z ist Hauptidealbereich/Fakt