let G1 be _Graph; :: thesis: for G2 being Subgraph of G1 holds G1 tolerates G2
let G2 be Subgraph of G1; :: thesis: G1 tolerates G2
G1 is Subgraph of G1 by GLIB_000:40;
hence G1 tolerates G2 by Th14; :: thesis: verum