theorem Th75: :: SCMYCIEL:75

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