Kategorie:Theorie der lokalen regulären Ringe/Beweise