theorem Th97: :: SCMYCIEL:97

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