Mediant is Between/Corollary

Corollary of Mediant is Between
Let $r, s \in \Q$ be rational numbers.

Then the mediant of $r$ and $s$ is between $r$ and $s$.

Proof
From Rational Numbers form Subfield of Real Numbers, $r, s \in \R$.

The result follows from Mediant is Between.