DPRM_Theorem.All_Equations_Invariance