theorem Th52: :: SCMYCIEL:52

for G being SimpleGraph
for x being set st x in union G holds
ex C being finite Clique of G st Vertices C = {x}