la_7
例子.formula_8formula_9
证明.证明当a与n互质时，满足formula_2由费马小定理得formula_11formula_12formula_13由数学归纳法得formula_14成立，这是一般情况。formula_15formula_16formula_17formula_18由数学归纳法得当formula_19时，formula_20成立。
原根的充要条件.证