Cauchy sequence
コーシー列の収束性と空間の完備性.