李括号
The identity is proved using the Lie bracket relations