DPRM_Theorem.Register_Machine_Sums