x*y\in P