4. Provar que para p primo (p 1)! ≡ p 1 (mod 1 + 2 + ... + (p 1)). Notemos que: (p 1) ≡ 1 (mod p) e (p 1)! ≡ 1 (mod p) (Teorema de Wilson). Pela transitividade, teremos que: (p 1)! ≡ p 1 (mod p). Isso nos mostra que p | (p 1)! (p 1). Temos, também, que (p 1)! (p 1) = (p 1) [(p 2)! 1], ou seja, p 1 | (p 1)! (p 1). Disso, segue que p 1 | (p 1)! (p 1). Como p e p 1 são primos entre si, temos que p p 1 | (p 1)! (p 1), ou seja, (p 1)! ≡ p 1 ( p p 1). Notando, porém, que 1 + 2 + ... + (p 1) = p p 1, tem-se provado o resultado.