theorem Th189: :: GLENUM00:189

for G1, G2 being _Graph holds
( G2 in G1 .allComponents() iff G2 is plain Component of G1 )