M, Nを滑らかな多様体、f, g, h:M→Nを滑らかな写像とする
fからgへの滑らかなホモトピー及びgからhへの滑らかなホモトピーが存在するとき、fからhへの滑らかなホモトピーが存在することを示せ
すなわち、滑らかにホモトピックである関係の推移性を示せ