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 $D^2$ (with
multiplicities) which does not intersect a neighbourhood of the
distinguished boundary, ...