
theorem Th15:
  for G1 being _Graph, G2 being Subgraph of G1 holds G1 tolerates G2
proof
  let G1 be _Graph, G2 be Subgraph of G1;
  G1 is Subgraph of G1 by GLIB_000:40;
  hence thesis by Th14;
end;
