Math is the formal study of patterns. The universe is built on patterns. The universe is beautiful. Math is beautiful.

Maybe we don't know today if there's an application, but notice that proof mentioned using Fourier Transforms to study a set, the same way you might use it to study a radio signal. There was probably a time when people asked what use is FT?