theorem Th62:
  G | _GraphSelectors in G.allSpanningSG()
proof
  reconsider H = G as Subgraph of G by GLIB_000:40;
  the_Vertices_of H = the_Vertices_of G;
  then H is spanning by GLIB_000:def 33;
  hence thesis by Th61;
end;
