Theorem

Between any two distinct real numbers, there is a rational number.

Proof