theorem Th13: :: TOPALG_5:13

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