DPRM_Theorem.Digit_Function