Theorem

Let .

Then

Remark

We can make sense of this theorem by imagining even if (or the distance between and ) is infinitesimally small, but is still in .

This can only happen if the distance between and is , which means .