Deformation retract


deformation retract is a homotopy.