theorem Th84: :: SCMYCIEL:84

for G being SimpleGraph holds G c= Mycielskian G