De ese modo obtenemos un espacio métrico completo que además