c^c^yd^d^ — d^d^) H- c\ {d^d^ — d

— 2^1 [coCi(<i2<^4 — ^^3) + CQC^id^d.^ — didi^) ~^CoC^{did^ — dl) ~\-c\{d^d^ — d^d,^) -h Cl C2 (<^o^4 4- d^d.^ — 2 (i^ ) + CiC^{did2 — dod.^)-^ cKd^d^ — d^d^) -hc^c^idod^—dl)].

(d-c-a-) se déduit de (d'^ c^ b^) en remplaçant bo^ ^2, ^i par a^, a^ et «o <^i •

{dà) = dQ ( Ci C3 — c|)'- — 2 «io ( Co C3 ~ Ci C2 ) ( Ci C3 — c|)