Exercise 9, § 3

Let G be a Hausdorff topological group and let K be a closed normal subgroup of G. Show that if the topological groups K and G/K are complete, then so is G [consider a minimal Cauchy filter on G with respect to the left (or right) uniformity on G, and its image in G/K].