theorem Th39: :: SCMYCIEL:39

for G being SimpleGraph
for x being set st x in Vertices G holds
CompleteSGraph {x} c= G