9.52. Предложение. Пусть V, Д  Д" £ D(A). Тогда
[V, [Д', Д"]] = [[V, дг Д") + [А', [V, Д"]].
4 В самом деле,
((v. дг д"]+[д  [v, д"]] = [[v? дг д'1 - [[v. д'г дч
| = [V о Д' - Д' о V. Д"] - [V о Д" - Д" о V, Д'| = УоД'оД"-Д'оУоА"-Д"оУоДЧД"оД'оУ -УоД"оДЧД"оУоДЧД'о 7оД"-Д'оД"оУ - V о Д' о Д" - Д" о