theorem :: GLIB_014:13

for G1, G2 being _Graph st the_Source_of G1 c= the_Source_of G2 & the_Target_of G1 c= the_Target_of G2 holds
G1 tolerates G2 by PARTFUN1:54;