theorem Th35: :: GLIB_014:35

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