theorem Th41: :: GLIB_014:41

for G1, G2 being _Graph
for G being GraphMeet of G1,G2 st G1 tolerates G2 & the_Vertices_of G1 meets the_Vertices_of G2 holds
G is Subgraph of G2