Strayer Elementary Number Theory 4. 1. 11a

First time in a while I was stuck on a number theory problem. Until I stumbled upon an old exercise concerning a consequence of Fermat's Little Thm.: 

a=b (mod p) implies a^p=b^p (mod p) implies a^p=b^p (mod p^2)