Si consideri una successione (bilatera) ${a_n}_{n \in \mathbb{Z}} \sub CC$ tale che
$\sum_{n \in \mathbb{Z}} |a_n|^2 = 1$
$\sum_{n \in \mathbb{Z}} |n||a_n|^2 < +\infty$
E inoltre
$\sum_{n \in \mathbb{Z}} a_n\bar{a}_{n+m} = 0$ per ogni $m \in ZZ^{\ast}$
Dimostrare che il numero reale $ν := \sum_{n \in ZZ} n|a_n|^2$ (la serie converge in virtù delle
ipotesi precedenti) è intero, ossia $ν \in \mathbb{Z}$.