Exercise 5, § 1

Let $u \in A[(X_i)_{i \in I}]$ and r an integer $\geqslant 0$, and suppose that in A for each $n > 0$, the relation $n\xi = 0$ implies $\xi = 0$. If we have the relation

then $u$ is homogeneous of degree r.