Some properties of analytic sets with proper projections

We give an affective criterion when an analytic set with proper projection is algebraic. We take an ideal of polynomials vanishing on the set then we construct a polydisc convenient for reduction. If this polydisc is "large enough" we can apply the division theorem in the ring of formal power series convergent in this polydisc to prove that the set is algebraic.