DPRM_Theorem.Exponential_Relation