theorem Th16: :: GRAPH_3:16

for G being Graph holds G -VSet {} = {}