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