# The module is injective iff it is a direct summand of an injective cogenerator

could any one give me a proof of this statment:

The module is injective iff it is a direct summand of an injective cogenerator.