(p-1)!-2*(p-3)!=（p-3）!（p^2 -3p）=（p-3）!×p（p-3）
所以p|（(p-1)!-2*(p-3)!）
所以根据Wilson定理有：
2*(p-3)!≣(p-1)!≣-1(mod p)