theorem Th39: :: JORDAN1K:39

for n being Nat
for A, B being compact Subset of (TOP-REAL n) st A meets B holds
dist_min (A,B) = 0