theorem Th92: :: SCMYCIEL:92

for G being finite SimpleGraph holds size (Mycielskian G) = (3 * (size G)) + (order G)