Fermat's little theorem
First, since formula_60, it follows that formula_61 by Fermat's little theorem. Since formula_62 and formula_15 is prime, formula_28 must have order formula_15.