theorem
  for G being _trivial _Graph holds G is connected;
