Exercise 10, § 3

Let $(G_i)_{i \in I}$ be a family of topological groups and let $G = \prod_{i \in I} G_i$ be the product group endowed with the topology defined in Exercise 23 of § 2. Show that if the $G_i$ are complete, then so is G.