theorem Th98: :: SCMYCIEL:98

for G being SimpleGraph
for x, y being object st x <> y holds
not {[x,(union G)],[y,(union G)]} in Mycielskian G