1: \begin{proof}[Remarks on the proof]

2:   We have already given an overview of the approach to proving this.  The content is in parts (ii) and (iv), for which we refer the reader to \cite{cew}[Theorem 3.1] for a discussion of the rigorous details.  The remaining parts are easy consequences of these together with well-known facts from the theory of local fields.

3:   \renewcommand{\qedsymbol}{{}}

4: \end{proof}

5: