Integrierbare Funktion/Ausschöpfungsatz/Fakt/Beweis

Beweis

Durch Betrachten von und kann man annehmen, dass nichtnegativ ist. Dann schöpfen die Subgraphen den Subgraphen aus und die Aussage folgt aus Fakt.