Prove if $C$ and $D$ are non empty disjoint closed subsets of $M$ such that $C$ or $D$ is compact, then $d(C,D)$ > 0
A and B disjoint, A compact, and B closed implies there is positive distance between both sets