$i^{-1}\equiv i^{\varphi(p)-1}\pmod p$

是否成立？