Есть выражение

от (n=0) до (N-1) sum(s(n-t0)*s'(n-t)*exp(j2pi(fc-f)n))

s - импульс амплитуды 1 длительностью М отсчетов начинающийся в момент времени t0.
s'- комплексно сопряженный.
N - число обрабатываемых отсчетов.
fc - несущая частота импульса

Пишут, что так как s(n-t0)*s'(n-t) есть процесс с постоянной амплитудой но случайной фазой, то
верхнее выражение превращается в

(sqrt(M-|t-t0|))*v1 , где v1 некая Gaussian переменная с нулевым средним и СКО=1.

Как такой результат получается? Откуда берется v1?