theorem Th45: :: GLIB_008:45

for G1 being _Graph
for v being Vertex of G1
for G2 being removeVertex of G1,v st v is endvertex holds
G1 .numComponents() = G2 .numComponents()