Así, la norma cuadridimensional de un cuadrivector "v" es: