theorem :: GLIB_000:128

for G being _Graph holds G == G | _GraphSelectors