Well, I have noticed that for every integer a in a prime mod p, a^(p - 1) is congruent to 1 (mod p). I don't know why this is though, and if I had a proof for it, I could use the multiplicative property of congruency to show a^p is congruent to a (mod p). What should I do?