theorem Th35: :: HAUSDORF:35

for M being non empty MetrSpace
for P, Q being non empty Subset of (TopSpaceMetr M) st P is compact & Q is compact holds
HausDist (P,Q) >= 0