b16eecf69abff418.tex
1: \begin{proof}
2: %For a rigorous proof refer to~\cite{wedin}.
3: %\end{proof}