Proof

where is the Commutator.