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