a≠b ise |sina−sinb|<|a−b| olduğu, Ortalama Değer Teoreminden (biraz ekstra uğraş ile) çıkartılabilir. Ama (∀x∈R, x≠0 için |sinx|<|x| olduğunu kullanarak) daha kolay şöyle görülebilir. (a≠b için)
|sina−sinb|=|2cosa+b2sina−b2|≤|2sina−b2|<2|a−b2|=|a−b|
(Elbette bundan, kolayca, ∀a,b∈R için, |sina−sinb|≤|a−b| elde edilir.)