DPRM_Theorem.RM_Sums_Diophantine