Integrierbare Funktion/Ausschöpfungsatz/Fakt/Beweis
Erscheinungsbild
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.
Durch Betrachten von
und
kann man annehmen, dass
nichtnegativ ist. Dann schöpfen die Subgraphen
den Subgraphen
aus und die Aussage folgt aus
Fakt.