x+y\in P