theorem Th32: :: COMPL_SP:33

for M being non empty MetrSpace st M is totally_bounded holds
TopSpaceMetr M is second-countable