theorem :: GLUNIR00:87

for G being non-Dmulti _Graph holds createGraph ((the_Vertices_of G),(VertexDomRel G)) is G -Disomorphic