for G being non _trivial connected _Graph
for v being Vertex of G holds not v is isolated