How do you define the Lie derivative? For any of the (equivalent) definitions, Lie derivative has the property that it commutes with contraction. And is the contraction of Y and .

Let denote the contraction , we have

=

commutes with contraction =

Leibniz rule =

linearity =

perform contraction =

=