Soit f une fonction continue sur [a,b], x1,x2,...xn de [a,b]
Posons f([a,b])=[m,M],
pour tout x de [a,b], m=<f(x)=<M
nm=<Sum(1-n) f(xi)=<nM,
en divisant par n m=<(Sum(1-n) f(xi))/n=<M
puisque [m,M] est incluse dans [a,b], d'après TVI il existe un c tel que nf(c)=f(x_1)+...+f(x_n)