DPRM_Theorem.MultipleToSingleSteps