Premis: Versi awal teorema ini pertama kali dideskripsikan oleh Parameshvara (1370 -1460) dari mazhab astronomi dan matematika Kerala dalam komentarnya tentang Govindasvāmi dan Bhaskara II. Bentuk modern teorema nilai rata-rata dinyatakan oleh Augustin Louis Cauchy (1789 - 1857)
Hipotesis: Parameshvara pertama kali mencetuskan teorema ini dan Cauchy membuat bentuk modernnya.
Label: entailment