リー微分
and similarly, the Lie derivative of formula_16 along formula_20 as,