theorem
  G is connected iff G.numComponents() = 1 by Lm18;
