Proposition 13.4. Assuming that:

$p \in S_{n}^{M} (A)$

Then there is

N ≽ M

with

\bar{a} \in N^{n}

such that

p = {t p}^{N} (\bar{a} ∕ A)

.