for M being non empty MetrSpace
for z being Point of M
for r being Real
for A being Subset of (TopSpaceMetr M) st A = Sphere (z,r) holds
A is closed