We consider the ring of coinvariants for a modular representation of a cyclic group of prime order p. We show that the classes of the terminal variables in the coinvariants have nilpotency degree p and that the coinvariants ...