for G1 being _Graph
for G2, G3 being Subgraph of G1 holds G2 tolerates G3