[see also: first
We now turn to Gromov's original result.
This was one of the major steps in Wiener's original proof of his Tauberian theorem.