Remark 1

Let (I, i) be an injective envelope of M and $j : M \to J$ an injective homomorphism of M into an injective A-module J. By the proof above, there exists an injective homomorphism $f : I \to J$ such that $f \circ i = j$.