Our goal in this work is to present some function spaces on the complex plane $\mathbb C$, $X(\mathbb C)$, for which the quasiregular solutions of the Beltrami equation, $\overline\partial f (z) = \mu(z) \partial f (z)$, have first derivatives locally in $X(\mathbb C)$, provided that the Beltrami coefficient $\mu$ belongs to $X(\mathbb C)$.

We obtain a uniform linear bound for the Chevalley function at a point in the source of an analytic mapping that is regular in the sense of Gabrielov. There is a version of Chevalley's lemma also along a fibre, or at a point of the image of a proper analytic mapping. We get a uniform linear bound for the Chevalley function of a closed Nash (or formally Nash) subanalytic set.