Este cuadrivector puede expresarse en términos de la cuadrivelocidad como