
theorem
  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;
