Talteori: Kongruens

Har suttit med denna fråga ett tag nu utan att komma någonstans så skulle behöva en liten inledning till svaret för att kunna förstå

Låt p vara ett primtal och a, b två icke-negativa heltal. Visa att om (a^p)≡(b^p)(mod p) så är a≡b (mod p).