theorem Th65: :: SCMYCIEL:65

for G being SimpleGraph holds SmallestPartition (Vertices G) is StableSet-wise