Exercise 3, § 8

In $\mathbf{Q}_p \times \mathbf{Q}_p$, every closed subset can be defined by a family of analytic equations. Deduce that Corollary 2 (ii) of Theorem 2 is no longer true if the hypothesis that $I$ is finite is omitted.