Renamed lemmas [nullhomot_susp_from_paths].