x^{p-1}\equiv_p 1