let G1, G2 be _Graph; :: thesis: ( G1 == G2 implies G1 tolerates G2 )
assume G1 == G2 ; :: thesis: G1 tolerates G2
then G2 is Subgraph of G1 by GLIB_000:87;
hence G1 tolerates G2 by Th15; :: thesis: verum