theorem Th20: :: FRECHET:20

for M being non empty MetrSpace holds TopSpaceMetr M is first-countable