ein Symplektomorphismus Φ von \begin{eqnarray}({{\mathbb{R}}}^{2n},\displaystyle \sum _{i=0}^{n}d{q}_{i}\wedge d{p}_{i}),\end{eqnarray} der den Ursprung festläßt, und dessen Linearisierung T₀Φ diagonalisierbar ist mit Eigenwerten, die alle im Einheitskreis enthalten sind.