shorten a proof
simplify the proof of iscontrGuidedHomotopy_comp_2