Commutation theorem