Does anyone know an elegant proof of equality: ( is Lie derivative).

I know the following definition of Lie derivative:

( is the flow of vector filed X and ( is appropriate pushforward)

Using the fact that one may write Lie derivative accordingly:

( is the flow of Y)

Commutator may be written in form:

I'm stuck here.