We conclude this section on homotopy of morphisms in a model category with the proof of a crucial lemma, which generalizes a famous result from classical homotopy theory of spaces: the Whitehead Lemma.  I prove in this lecture that a morphism between bifibrant objects is a weak equivalence if and only if it is a homotopy equivalence.