Let be an automorphism of finite order of the nilpotent group of class and and positive integers with . Consider the two (not usually homomorphic) maps and of given by
We prove that the subgroups
of all have finite exponent bounded in terms of , and only. This yields alternative proofs of the theorem of  and its related bounds.