You should know that every number is congruent to exactly one of modulo m.

Showing that no two integers of are congruent (mod p) must mean that their least residues arenotcongruent and therefore must all be different, i.e. some order of - the least residues mod p.