theorem Th64: :: SCMYCIEL:64

for G being SimpleGraph
for A being StableSet of G
for B being Subset of A holds B is StableSet of G