theorem Th22: :: GLIB_000:22

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