DPL_Thm_new