Proposition 3.9 . [02BH]

Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.

Complete original source context · Original author HTML

Proposition 3.9.

We can choose $t$ with $1\leq t\leq m$ such that $g(a|^{\otimes t})=1$ and $\tau(a|^{\otimes t})\in W^{\prime}$ .