>>729
P重階乗のすべての項は1 mod Pだから、P重階乗とPは互いに素で逆元取れないか