あ、というか、上のようなdiffeomorphism φ が存在するとき、 γ と λ は同じ曲線の異なるパラメーター表示であると考えているようです。
そして、パラメーター表示は変わっても同じ曲線を表わすならば、曲線の長さが変わらないことなどを証明しています。

>>399
のような事実を述べないのはありですか?