for T being non empty TopSpace holds
( T is locally_connected iff [#] T is locally_connected )