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