DPRM_Theorem.Diophantine_Relations