1: \begin{proof}

2: %    See~\cite[Lem.\ 1]{Kok75} for a rigorous proof. Here we merely point out that the existence and uniqueness of a fixed point solution follows directly from the contraction mapping theorem.

3: %\end{proof}

4: