DPRM_Theorem.MultipleStepRegister