* **Pour tout couple $`\mathbf{(a_0, b_0)}`$** de valeurs particulières **avec $`\mathbf{a_0\ne b_0}`$** des indices appartenant à la somme $`\sum_{a=1}^{n}\sum_{b=1}^{n}`$, *le couple $`(b_0, a_0)`$ appartient aussi à la somme $`\sum_{a=1}^{n}\sum_{b=1}^{n}`$*. Ainsi le carré de l'invariant se réécrit :