The Order Divisibility Property states that if an = 1 (mod p), then the order ep(a) of a (mod p) divides n. How can I go about proving this? Additionally, if a is relatively prime to p, when does the congruence am = an (mod p) hold? Is there a proof for this as well? Thanks!!