Kategorie:Theorie der Komplettierung (kommutative Algebra)/Beweise