Bài tập 3, § 8

Trong $\mathbf{Q}_p \times \mathbf{Q}_p$, mọi tập con đóng đều có thể được xác định bởi một họ các phương trình giải tích. Suy ra rằng Hệ quả 2 (ii) của Định lý 2 không còn đúng nữa nếu bỏ giả thiết rằng $I$ là hữu hạn.