Durch Betrachten von f + {\displaystyle {}f_{+}} und f − {\displaystyle {}f_{-}} kann man annehmen, dass f {\displaystyle {}f} nichtnegativ ist. Dann schöpfen die Subgraphen S ( f , M n ) {\displaystyle {}S(f,M_{n})} den Subgraphen S ( f , M ) {\displaystyle {}S(f,M)} aus und die Aussage folgt aus Fakt.
