DPRM_Theorem.Binary_Orthogonal