Just wondering what the following is called, and if anyone can point out a proof:

If P is prime, then (P-1)! Mod P = (P - 1)