1: \begin{definition}

2: The fraction $\frac{p+r}{q+s}$ given in

3: Theorem~\ref{the:Farey_properties} is called the Farey sum or mediant

4: of the numbers $\frac{p}{q}$ and $\frac{r}{s}$.

5: \end{definition}

6: