Arc-analytic roots of analytic functions are Lipschitz

Let be an arc-analytic function (i.e., analytic on every analytic arc) and assume that for some integer the function is real analytic. We prove that is locally Lipschitz; even if is less than the multiplicity of . We show that the result fails if is only a , arc-analytic function (even blow-analytic), . We also give an example of a non-Lipschitz arc-analytic solution of a polynomial equation , where are real analytic functions.