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