Since it means . Let be the order of modulo then , but by properties of orders we know since it means thus the is the order of modulo . But by Fermat's little theorem we know and hence by properties of order. In particular, this means . Thus, , a prime divisor of , is greater than .