theorem Th16: :: WEIERSTR:16

for M being non empty MetrSpace
for x being Point of M holds dist x is continuous