Toda distancia inducida por la norma es una distancia.