Theorem：
コンパクトな台[compact support]を持つ,任意の連続な順列等価[permutation equivariant]シーケンス対シーケンス関数 $f$ を対象とする場合：
任意の $\epsilon > 0 $に対して, 以下を満たすTransformerモデル $\mathcal{T}$ が存在する.\[\sup_{X \in \mathbb{K}} \| f(X) - \mathcal{T}(X) \| < \epsilon\]ここで, $\mathbb{K} \subset \mathbb{R}^{d \times n}$ は入力シーケンスのコンパクトな領域である.
Mathematics is the language with which God has written the universe.