g(x)=0 olduğunda ifade zaten ∫[a,b]0=f(c).∫[a,b]0 olarak sağlanıyor dolayısıyla g>0 durumunu inceliyelim.
f sürekli olduğundan sınırlıdır ve maximum(M)-minimum(m) değerlerini [a,b] de alır.⇒mg(x)<f(x)g(x)<Mg(x)
g[a,b]>0⇒∫[a,b]g>0
⇒m∫[a,b]g<∫[a,b]fg<M∫[a,b]g
Bolzano ara değer teoremini uygularsak;
f(c)=∫[a,b]fg∫[a,b]g olan
c∈[a,b] var olduğu anlaşılır.
Q.E.D.