theorem Th19: :: GLIB_014:19

for G1, G2 being _Graph holds
( G1 tolerates G2 iff {G1,G2} is \/-tolerating )