Wiener-Khintching theorem