1: \begin{proof}

2: This is proved in \cite{BorCor}, Theorem 5.2.10. An alternative choice of contours is developed in \cite{BorCorFer} Theorem 1.16. The formula follows from rigorous asymptotic analysis of Theorem \ref{PlancherelfredThm}.

3: \end{proof}

4: