In this work we prove in a constructive way a theorem of Rudin which says
that if E is an analytic subset of the bidisc D2 (with
multiplicities) which does not intersect a neighbourhood of the
distinguished boundary, then E is the zero set (with multiplicities) of
a bounded holomorphic function. This approach allows us to generalize this
theorem and also some results obtained by P.S. Chee