 Fourier representation of a Kronecker delta

Orthogonality of integer-frequency Fourier modes gives this identity: the integral is one for $n=m$ and zero otherwise. It converts integer step-count constraints into products of generating functions, as in the dilute-hopping lattice propagator.