theorem Th66: :: GLUNIR00:66

for V being non empty set
for E being Relation of V holds
( V is trivial iff createGraph (V,E) is _trivial )