Premis: Pernyataan (ƒ(b) − ƒ(a)) / (b − a) memberikan kemiringan garis yang menghubungkan titik (a, ƒ(a)) dan (b, ƒ(b)), yang merupakan garis sekan (tali busur) grafik fungsi f, sementara ƒ ′(x) memberikan kemiringan garis singgung kurva di titik (x, ƒ(x)). Maka teorema nilai purata menyebutkan bahwa kita dapat menemukan titik yang berada di antara titik-titik ujung garis sekan tersebut sehingga garis singgung di titik tersebut sejajar dengan garis sekan.
Hipotesis: Pernyataan (ƒ(b) − ƒ(a)) / (b − a) memberikan tali busur dari titik a ke titik b pada grafik fungsi f.
Label: entailment