theorem Th37: :: GLIB_002:38

for G being _Graph
for v being Vertex of G st v is cut-vertex holds
not G is trivial