にゃ曲面Sにゃでコストを返す関数fにゃを定義するにゃ。
曲面S上の2点A,Bにゃを始点、終点とする曲線で最短のコストをとるものの集合を最短ルートRとするですにゃ。
関数fにゃは、C1級にゃ。
にゃを同相にゃでグニグニ変形していって出来る曲面にゃを考えるにゃ。
その曲面上にゃの距離を元のに写像するときにゃの距離にゃを関数fにゃの値にするですにゃ。
つまり、グニグニ変形していって出来る曲面上にゃの移動にゃを、上にゃに投影する感じですにゃ。
そうするにゃと、最短ルートRにゃがグニグニ変形した曲面上での最短ルートとにゃるのですにゃ。