Cauchy sequence
補題 2 {"xn"} は ("X", "d") におけるコーシー列で、"X" 内のある極限 "x*" に収束する。