Sei i gle-eich a bis b e-ein ko-om-pak-te-es Intervall
sei f von a b nach R ste-e-ti-ig und diff-bar to-tal
ausserdem sei f a gleich f b Null
denn dann gibt es ein ksi aus a bis b
(langsam) mit f Strich von ksi Null

back