1: \begin{proof}

2:   Use the Fourier expansion of $S$ to formally compute

3:   \begin{equation*}

4:     \begin{aligned}

5:       & \hspace{-2em} \frac{1}{2\pi} \int_0^{2\pi} \log\left(1 - \frac{1}{d} \sum_{k=1}^d \cos(p_k t)\right) \,dt \\

6:       & = \frac{1}{2\pi} \int_0^{2\pi} S(p t) \,dt \\

7:       & = \sum_{q \in \Z^d} \frac{1}{2\pi} \int_0^{2\pi} \hat S(q) e^{i q \cdot p t} \,dt \\

8:       & = \sum_{p \cdot q = 0} \hat S(q).

9:     \end{aligned}

10:   \end{equation*}

11:   Since the sublattice $\{ q \in \Z^d : p \cdot q = 0 \}$ is contained in a subspace of $\R^d$ of codimension $1$, this formal computation is made rigorous by the decay estimate \lref{Sdecay}.  We conclude by appealing to \eref{Hintegral}.

12: \end{proof}

13: