Dans l'expression   ` A^nu A_nu `   ,   ` nu `   est un ` bb("indice de sommation") ` ; il en est de même pour   ` mu `  .

On a pour un quadrivecteur :

        ` A^nu A_nu = sum_(nu=0)^3 A^nu A_nu ` 
                   ` = A^0 A_0 + A^1 A_1 + A^2 A_2 + A^3 A_3 ` 
et
        ` A^mu A_mu = sum_(mu=0)^3 A^mu A_mu ` 
                   ` = A^0 A_0 + A^1 A_1 + A^2 A_2 + A^3 A_3 ` 

et ` color(blue) ("les deux expressions sont donc bien équivalentes") ` .