DPRM_Theorem.Binary_Masking