theorem Th14: :: GLIB_014:14

for G1 being _Graph
for G2, G3 being Subgraph of G1 holds G2 tolerates G3