La f , g : [ a , b ] → R {\textstyle f,g:[a,b]\to \mathbb {R} } være kontinuerlige, og g ≥ 0. {\displaystyle g\geq 0.} Da finnes det x ^ ∈ [ a , b ] {\displaystyle {\widehat {x}}\in [a,b]} slik at