theorem Th3: :: PENCIL_3:3

for S being non void identifying_close_blocks TopStruct st S is strongly_connected holds
S is without_isolated_points