theorem
  G1 == G2 implies G1.numComponents() = G2.numComponents() by Lm12;
