This result records Homotopy Uniqueness Theorem for Morphisms of Injective Resolutions as part of the basic toolkit of homological algebra. It supports work with complexes, exact sequences, homology, projective and injective modules, and resolutions.