[A,BC]=[A,B]C+B[A,C] Proof [A,BC]=ABC−BCA=ABC−BAC+BAC−BCA=(AB−BA)C+B(AC−CA)=[A,B]C+B[A,C]Adding "zero"Rearranging the expressionApplying the definition of commutator where [⋅,⋅] is the Commutator.