Distinct Points in Metric Space have Disjoint Open Balls

Theorem
Let $M = \struct {A, d}$ be a metric space.

Let $x, y \in M: x \ne y$.

Then there exist disjoint open $\epsilon$-balls $\map {B_\epsilon} x$ and $\map {B_\epsilon} y$ containing $x$ and $y$ respectively.