for G being SimpleGraph holds {} (Vertices G) is stable ;