Den zweiten brauchst du beim Ausrechnen von Integralen fast immer,
jedenfalls, wenn du es mit Hilfe einer Stammfunktion machts.
Der erste ist ja ein reiner Existenzsatz. Er wird auch häufig im Sinne
von: integraler Mittelwert zitiert, also :
Mittelwert einer integrierbaren Funktion über dem Intervall [a;b] ist
m = 1/ (b-a) * Integral von a bis b über f(x) dx.