theorem Th96: :: SCMYCIEL:96

for G being SimpleGraph
for u being set st u in Vertices G holds
{[u,(union G)],(union G)} in Mycielskian G