ProperGeneratorTheorem 2009-05-03 14:10:44 2009-05-03 14:10:44 Theorem {\bf Theorem 0.1} {\em Any commutative ring is the endomorphism ring of a proper generator in a suitably chosen Grothendieck category.}