A Bernstein--Walsh type inequality for $C^{\infty }$ functions of several variables is derived, which then is applied to obtain analogs and generalizations of the following classical theorems: (1) Bochnak--Siciak theorem: a $C^{\infty }$\ function on $\mathbb{R}^{n}$ that is real analytic on every line is real analytic; (2) Zorn--Lelong theorem: if a double power series $F(x,y)$\ converges on a set of lines of positive capacity then $F(x,y)$\ is convergent; (3) Abhyankar--Moh--Sathaye theorem: the transfinite diameter of the convergence set of a divergent series is zero.