theorem Th15: :: GLIB_014:15

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