theorem Th93: :: GLIB_000:93

for G being _Graph
for E, V being set
for G1, G2 being inducedSubgraph of G,V,E holds G1 == G2