Dowód
Niech m i M oznaczają odpowiednio kres dolny i górny funkcji f na przedziale [a, b]. Wobec nierówności m £ f(x) £ M mamy
czyli
Wobec ciągłości funkcji f istnieje taki punkt x Î (a, b), że