PlanetPhysics/Proper Generator Theorem

\begin{theorem} Any commutative ring is the endomorphism ring of a proper generator in a suitably chosen Grothendieck category. \end{theorem}