theorem Th114: :: GLIB_000:114

for G1 being _Graph
for v being set
for G2 being removeVertex of G1,v st ( G1 is _trivial or not v in the_Vertices_of G1 ) holds
G1 == G2