theorem Th8: :: TOPMETR:8
for M being non empty MetrSpace
for A being non empty SubSpace of M
for p being Point of A holds p is Point of M