Let be a metric space, and let be the -centered open ball of radius . If , then the balls and are separated.
To prove this, suppose that and are not separated. Then there exists a such that either