I prove in this lecture that the category and functor constructed in the previous lecture really do form a localization of the model category at its subcategory of weak equivalences, i.e., the category constructed in the previous lecture is indeed the homotopy category.