“…Now suppose that J = 0. Clearly, every simple singular right R-module embeds in E. In particular, every simple quotient of E is isomorphic to a simple submodule of E, and so E is a finitely generated injective and projective module containing a copy of every simple quotient of E. By [8,Lemma 18], E has a finitely generated essential socle. Then by hypothesis, there exist simple submodules S 1 , ..., S n of E such that {S 1 , ..., S n } is a complete set of representatives of the isomorphism classes of simple singular right R-modules.…”