をで定義される空間曲線とし、をの滑らかなベクトル場とすると、次が成り立つ: