theorem Th73: :: SCMYCIEL:73

for G being SimpleGraph
for C being Clique of (Complement G) holds Vertices C is StableSet of G