[T-A]

Presumably (haven't read the paper yet) that their network provably becomes a universal function approximator in the limit of infinite size.

Reading... actually the proof seems to be in

https://arxiv.org/abs/1712.01897