article: fix definition of a primitive root modulo p