Given a real analytic set $X$ in a complex manifold and a positive integer $d$, denote by $\mathcal A^d$ the set of points $p$ in $X$ at which there exists a germ of a complex analytic set of dimension $d$ contained in $X$. It is proved that $\mathcal A^d$ is a closed semianalytic subset of $X$.

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.