They also separately give algorithm for Fourier transform over complex number faster than O(n log n)

Wikipedia just told me there's a galactic algorithm for integer multiplication in O(n log n) based on FFT so I'm guessing those two proofs are related.