theorem Th50: :: SCMYCIEL:50

for G being SimpleGraph
for x being set st x in Vertices G holds
{{},{x}} is Clique of G