Com hacer demostración de espacios métricos

Como se Demuestra que (F; d_s) es un espacio métrico completo.