Hauptidealbereich/Faktoriell/Fakt/Beweis