theorem :: GLIB_009:34

for G1 being _Graph
for E being set
for G2 being removeEdges of G1,E st G2 is connected holds
G1 is connected by Th33;