theorem Th63: :: GLUNIR00:63

for V being non empty set
for E being Relation of V
for v, w being object holds
( [v,w] in E iff [v,w] DJoins v,w, createGraph (V,E) )