Cauchy sequence
このことから、 の任意のコーシー列は収束する、すなわち が完備であることが分かる。