Hinweis.

Ist $ \mbox{$p\in\mathbb{C}[X]$}$ , so ist
$ \mbox{$\displaystyle \text{i}^{-0} p(X) + \text{i}^{-1} p(\text{i}^1 X) + \text{i}^{-2} p(\text{i}^2 X) + \text{i}^{-3} p(\text{i}^3 X) $}$
ein Element von $ \mbox{$U_1$}$ .