theorem Th9: :: GLIB_009:9

for G being _Graph holds G == G | _GraphSelectors