theorem :: SCMYCIEL:60

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