Lie derivative
を得る。これは初めに示した関数のリー微分の定義と一致している。