theorem Th33: :: SCMYCIEL:33

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