Descomposición de la equivalencia homotópica y unicidad