DPRM_Theorem.Assignments