Between two Real Numbers exists Rational Number

Theorem
Let $a, b \in \R$ be real numbers such that $a < b$.

Then:
 * $\exists r \in \Q: a < r < b$