是否存在： (P−1)!≡P−1(modP)P∈prime(P-1)!\equiv P-1\pmod{P}\quad P\in prime(P−1)!≡P−1(modP)P∈prime 若存在，求证明，若不存在，求反例
