³Recall that the order of an element g modulo p is the least integer k such that g^k ≡ 1 (mod p).