theorem Th39: :: GLIB_002:40

for G being _finite connected _Graph holds G .order() <= (G .size()) + 1