- 663

- 0

## Main Question or Discussion Point

I just have one question about the proof. Why does [itex](p-1)!a^{p-1}=(p-1)!\pmod{p}[/itex]? It seems like it would be true if the (mod p) was instead (mod a).

Thanks for your help.

Thanks for your help.