x*y+y*z+z*x=1