DPRM_Theorem.MachineEquations