theorem :: GLIBPRE1:69

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