Definimos la divergencia de un cuadrivector como: