Aを距離空間（X、ｄ）の稠密な部分集合とする
Aの点からなる任意のコーシー列がXの点に収束すればXは完備であることを示せ

お願いします