theorem :: GLIB_011:10

for G being _Graph holds id (the_Vertices_of G) is isomorphism Disomorphism PVertexMapping of G,G