DPRM_Theorem.RegisterMachineProperties