Substantial simplification of the proof Remove distinction between simple, evenly filled and enclosed graphs