for G being _trivial _Graph ex v being Vertex of G st the_Vertices_of G = {v}