Lie bracket
The identity is proved using the Lie bracket relations