距離空間(X,d)のコーシー列{xn}とXの点yに対し、an=d(xn,y)とおいて実数列{an}をつくる
このとき、実数列{an}は収束することを示せ。