\] Suppose $W$ is a nonempty word over ${\mathcal{A}}^{\pm 0}$ and $n \ge 0$ is an integer. Then $W$ is a product of at most $n$ conjugates of words $R^{\pm 0}$, where $R=0$ is a relation of presentation 