Lie derivative
因为李导数与缩并可以交换，故：