theorem Th72: :: SCMYCIEL:72

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