  The aim of this paper is to generalize the hyperplane section theorem of
Gurjar to arbitrary (local) analytic varieties even if the intersection with of
hyperplanes is not necessarily isolated.
  In case of formal varieties, we generalize the statement to work for
different classes of functions than just hyperplanes. We call these classes
(which are subsets of formal power series ring) to be algebraic
$\mathbb{m}$-adicaly closed (A$\mathbb{m}$AC).
