theorem Th104: :: SCMYCIEL:104

for G being SimpleGraph holds G = (Mycielskian G) SubgraphInducedBy (Vertices G)