theorem :: TOPDIM_1:14

for X being non empty set holds ind (1TopSp X) = 0