コンパクト性と完備性

距離空間  $(X, d) $において、コンパクトであることと、全有界かつ完備であることは同値である。