コーシー列
であるので、formula_43のいかなる部分列formula_44もコーシー列の条件