[LP] pcp thm as a reduc