Hay un espacio métrico completo Cl(X) y hay una isometría ϕ : X → X tal que ϕ(X) es denso en bX .