Mean of Unequal Real Numbers is Between them

Theorem

 * $\forall x, y \in \R: x < y \implies x < \dfrac {x + y} 2 < y$

Proof
First note that:

Then:

Similarly: