theorem :: GLIB_010:80

for G being _Graph holds (id G) " = id G