pock.1: Make a less fatuous observation.

Of course a has order dividing p - 1 in Z/pZ.  This is Lagrange's
theorem.

It's valuable to observe that a has order dividing n - 1 because this
makes the next step, where we deduce the order of t = a^{(n-1)/q}, work.