theorem :: GLIB_009:142

for G1 being _Graph
for G2 being SimpleGraph of G1 holds G1 .numComponents() = G2 .numComponents()