Formula_20603

\[\begin{gathered}{[a[b c]]=b(a c)-c(a b),} \\{[a b][c d]=a[b[c d]]=(a c)(b d)-(b c)(a d),} \\{[a[b c]]+[b[c a]]+[c[a b]]=0 .}\end{gathered}\]