リー微分
The "same" identity holds for the Lie derivative formula_4. In fact, one has: