Exercise 3, § 6

Show that a Fréchet space E is exhaustible (if $(U_k)$ is a decreasing sequence forming a fundamental system of closed, convex and balanced neighbourhoods of 0 in E, consider the finite intersections of the sets $(m + 1)$ $U_k$, where $m$ and $k$ run through $\mathbf{N}$).