Existence of Dyadic Rational between two Rationals

Theorem
Let $a$ and $b$ be rational numbers such that $a < b$.

Then there exist integers $m$ and $r$ such that:
 * $a < \dfrac m {2^r} < b$

That is, there exists a dyadic rational between any pair of rational numbers.