DPRM_Theorem.Modulo_Divisibility