theorem :: GLIB_002:7

for G being trivial _Graph holds G is connected ;