Αφού f συνεχής σε [α,β] θα παρουσιάζει μέγιστη τιμή f(k)=Μ κι ελάχιστη τιμή f(λ)=μ με κ,λε[α,β]. Τότε για κάθε χε[α,β] θα ισχύει:
μ<=f(x1)<=M
μ<=f(x2)<=Μ
.
.
.
.
.(ν φορές)
.
.
μ<=f(xν)<=Μ
Προσθέτοντας κατά μέλη τις ανισώσεις και διαιρώντας με το ν, το οποίο εκφράζει πλήθος άρα είναι θετικός αριθμός έχω:
μ<=(χ1+χ2+...+χν)/v<=Μ
Τότε θα υπάρχει κάποιο η=(χ1+χ2+...+χν)/ν στο [μ,Μ] τέτοιο ώστε 'η' τιμή της συνάρτησης, αφού η f ως συνεχής στο [α,β] θα παίρνει όλες τις τιμές στο [μ,Μ]. Διαφορετικά στο [α,β] θα υπάρχει χο τέτοιο ώστε f(xo)=η.
Σημείωση: Το μήνυμα αυτό γράφτηκε 17 χρόνια πριν. Ο συντάκτης του πιθανόν να έχει αλλάξει απόψεις έκτοτε.