Legyen f a [0;1] intervallumon értelmezett pozitív, korlátos függvény. Igazoljuk, hogy léteznek olyan x1 és x2 számok, amelyekre