1: \begin{proof}

2: A rigorous proof can be found in \cite{StegemanSidiropoulos07}.

3: \end{proof}