Between two Rational Numbers exists Irrational Number

Theorem
Let $a, b \in \Q$ where $a < b$.

Then:
 * $\exists \xi \in \R \setminus \Q: a < \xi < b$