reserve G, G1, G2 for _Graph, H for Subgraph of G;

theorem Th191:
  for H being Component of G holds H | _GraphSelectors in G.allComponents()
proof
  let H be Component of G;
  H | _GraphSelectors == H by GLIB_000:128;
  then H | _GraphSelectors is Component of G by GLIBPRE1:38;
  hence thesis by Th189;
end;
