In [2], this theorem is made the starting point of Gelfand theory.
This approach is standard in homotopy theory.
Unfortunately, the notation from number theory slightly conflicts with the notation from probability theory.
More specialized notions from Banach space theory will be introduced as needed.
This abstract theory is not in any way more difficult than the special case of the real line.