theorem :: GLIB_000:173

for G being _Graph holds G == createGraph ((the_Vertices_of G),(the_Edges_of G),(the_Source_of G),(the_Target_of G)) ;