La equivalencia de estas dos condiciones se muestra a partir de la construcción de una familia numerable y separada de seminormas a partir de una distancia invariante arbitraria y recíprocamente.