theorem Th36: :: SCMYCIEL:36

for x being set holds CompleteSGraph {x} = {{},{x}}