theorem Th34: :: SCMYCIEL:34

for X, x, y being set st x in X & y in X holds
{x,y} in CompleteSGraph X