theorem Th19: :: GLIB_006:15

for G being _Graph holds G is inducedSubgraph of G,(the_Vertices_of G)