Any two real numbers x and y are either equal or have an infinite number of reals between them don’t they? If your real numbers are x and y, then (x+y)/2 for example. The density of the rationals in the reals means that one of the numbers between them is provably a rational number.