theorem :: GLENUM00:202

for G being _Graph holds G .numComponents() = card (G .allComponents())