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