Kategorie:Theorie der noetherschen faktoriellen Integritätsbereiche/Beweise