コーシー列
がコーシー列ならば、開区間 で、数列 の中の無限個の項を含むようなものが取れる。このような開区間は一つではなくいくらでも見つけることができて、しかもその径 はいくらでも小さくとることができる。さらに、そのような開区間を、コーシー列の最初の有限項以外の項を全て含むようにとることができる。