If x y xy 1