Vi vet jo nå, følgelig, at \[\left| {\cos c} \right| \ge 0{\rm{ for alle c i (a}}{\rm{,b) }} \Rightarrow \left| {\frac{{\sin b - \sin a}}{{b - a}}} \right| \ge 0{\rm{ og p{\aa} en m{\aa}te m{\aa} vi implisere uttrykket til }}\left| {\sin b - \sin a} \right| \le \left| {b - a} \right|.{\rm{ Noe som}}...