x+y>0, x-y>0, x>0, y>0