DPRM_Theorem.CommutationRelations