Suppose that are coprime positive integers. Write down an integer such that modulo . The least such is the order of modulo . Show that if the order of modulo is , and modulo , then divides .
Let and . Suppose that is a prime factor of . Find the order of 2 modulo , and show that modulo .