Real Numbers Between Epsilons

Theorem
Let $$a, b \in \R$$ such that $$\forall \epsilon \in \R_+^*: a - \epsilon < b < a + \epsilon$$.

Then $$a = b$$.

Proof
From Real Plus Epsilon, $$b < a + \epsilon \implies b \le a$$.

From Ordering is Compatible with Addition, $$a - \epsilon < b \implies a < b + \epsilon$$.

Then from Real Plus Epsilon, $$a < b + \epsilon \implies a \le b$$.

The result follows.