In this lecture I show that left homotopic morphisms with cofibrant domain are also right homotopic and, dually, that right homotopic morphisms with fibrant codomain are also left homotopic, from which we deduce that right and left homotopy are equivalent notions for morphisms between bifibrant objects, enabling us to define a notion of homotopy equivalence between bifibrant objects.