then x – y is always a positive rational number.