>>460
(p-1)! ≡ -1 (mod p) は、(p-1)! が p の倍数より 1 少ないという意味だから