A. Besides, R 3 , even with respect to each variable, therefore de?ne analytic functions of (x 2 ; y 2 ; z 2 ) Thus A (kXk ; kY k ; kX + Y k) is an analytic function of (X; Y ) 2 p p and the same holds for B. Since jx yj z x + y for the chosen values we have 0 B(x; y; z) < 1=2, which implies analyticity of the hypergeometric factor too. The theorem now follows from Proposition 3, p.23

A. , L. Harinck, P. , T. , and C. , Solution non universelle pour le problème KV 78, Bibliography J. Lie Theory, vol.18, pp.617-626, 2008.

A. , A. Enriquez, B. , T. , and C. , Drinfeld associators , braid groups and explicit solutions of the Kashiwara-Vergne equations, Publ. Math. I.H.E.S, vol.112, pp.146-1890903, 2009.

A. , M. Sahi, S. , T. , and C. , Convolution of invariant distributions: proof of the Kashiwara-Vergne conjecture, Lett. Math. Phys, vol.69, pp.177-203, 2001.
URL : https://hal.archives-ouvertes.fr/hal-00689880

C. , A. Rossi, C. , T. , and C. , Biquantization of symmetric pairs and the quantum shift, J. Geom. Phys, vol.74, pp.211-250, 2012.