1>=X>0, Y>=1, X*Y=1