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