had previously shown that any invariant eigendistribution is analytic on the regular elements of the group, by showing that on these elements it is a solution of an elliptic differential equation.
had previously demonstrated that any invariant eigendistribution is a harmonic function on the regular elements of the group, by showing that on these elements it satisfies an elliptic partial differential equation.