theorem Th1: :: GLIB_002:2

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