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.
The problem is that it may have singularities on the singular elements of the group; the regularity theorem implies that these singularities are not too severe.