Lie-Klammer
The identity is proved using the Lie bracket relations