theorem Th100: :: SCMYCIEL:100

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