Kategorie:Theorie der faktoriellen Integritätsbereiche/Beweise