theorem Th35: :: SCMYCIEL:35

CompleteSGraph {} = {{}}