怎么严格证明 $a\not\equiv a^{-1}\pmod p$，$p$ 是质数，$a^{-1}$ 表示 $a$ 的逆元。