1: \begin{proof}
2: % {[}A rigorous proof requires to show that the change of variables
3: % ($Y_{t,1}\to\sigma_{t+1}$) is something more than 1-1 \textendash{}
4: % maybe requires that the mapping preserves orthogonality. I'm sure
5: % this is correct, but will do a rigorous proof later on: probably will
6: % need to strengthen Lemma \ref{lem:aux-2-change-of-variable}.{]}
7: % \end{proof}
8: