We wish to arrange that f be as smooth as possible.
We can arrange the Xi's to include every element of F.
Let (an) be the sequence of zeros of f arranged so that |a1|≤|a2|≤......
The present proof is so arranged that it applies without change to holomorphic functions of several variables.