Actually I don't think so. Rudin isn't very clear it seems in this proof. The set V_1 is a neighbourhood around x_1 and this neighbourhood contains infinitely many points x_{n_1}, x_{n_2}, \ldots of P. It might be the case that x_2 isn't one of these and therefore what we do is take anyone of...