theorem Th4: :: PENCIL_3:4

for S being non empty non void identifying_close_blocks TopStruct st S is strongly_connected holds
S is connected