theorem Th87: :: SCMYCIEL:87

for G being SimpleGraph holds union G in union (Mycielskian G)