"m" を "n" 次元のコンパクトな向き付けられた多様体、"s""n" を "n" 次元球面、formula_1を連続とすると、formula_2であることと、"f" と "g" がホモトピックであることとは同値である。