theorem Th106: :: GLIB_000:106

for G being _trivial _Graph ex v being Vertex of G st
( the_Vertices_of G = {v} & the_Source_of G = (the_Edges_of G) --> v & the_Target_of G = (the_Edges_of G) --> v )