 Commutator product rule

For linear operators on a common invariant domain, $[A,BC]=[A,B]C+B[A,C]$. The identity follows by adding and subtracting $BAC$ in the commutator.