for G being SimpleGraph holds G = G SubgraphInducedBy (Vertices G)