theorem Th37: :: SCMYCIEL:37

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