theorem Th95: :: SCMYCIEL:95

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