thus TUnitSphere n is second-countable ; :: thesis: verum