DPRM_Theorem.Mask_Equations