for G being SimpleGraph holds G c= Mycielskian G