En tales condiciones, tomando las clases de equivalencia en ambos lados de la identidad, se tiene que para cada "i", y para cada "j" ≠ "i":