theorem Th19: :: GLIB_008:19

for G1 being connected _Graph
for G2 being Subgraph of G1 st the_Edges_of G1 c= the_Edges_of G2 holds
G1 == G2