Let p be an odd prime, and integer a has multiplicative order of 2k modulo p, then a^k\equiv -1\pmod{p}.