Recently the correlation functions of the so-called
Itzykson-Zuber/Harish-Chandra integrals were computed (by one of the authors
and collaborators) for all classical groups using an integration formula that
relates integrals over compact groups with respect to the Haar measure and
Gaussian integrals over a maximal nilpotent Lie subalgebra of their
complexification. Since the integration formula a posteriori had the same form
for the classical series, a conjecture was formulated that such a formula
should hold for arbitrary semisimple Lie groups. We prove this conjecture using
an abstract Lie-theoretic approach.Comment: 10 page