for G1, G2 being _Graph st the_Edges_of G1 misses the_Edges_of G2 holds
G1 tolerates G2