Let $R$ be a ring and let $M$ be a left $R$-module. A projective resolution of $M$ exists. If $R\operatorname{-Mod}$ has enough injectives, then an injective resolution of $M$ exists. Any two choices of the same type are homotopy equivalent as augmented complexes.