F(A, B, G)= F(B, G, A)= F(G, A, B) = /(OR

Il reste

G(A, B, G)-hH(A, B, G)-4-H(A, G, B)=3^(DK), G(B, G, A)-+. H(B, G, A)-+- H(B, A, G)= 3^(011/), G(G, A, B)-hH(G, A, B)h-H(G, B, X)=3g{Dïi).

On satisfera à ces égalités si l'on pose

H(A, B, G)=H(A, G, B) = H(B, G, A)=H(B, A,G) = H(G, A, B)= H(G, B, A)= A(OK)

et

G(A, B, G)= G(B, G, A)= G(G, A, B)= h'(DXi).