_2由费马小定理得formula_11formula_12formula_13由数学归纳法得formula_14成立，这是一般情况。formula_15formula_16formula_17formula_18由数学归纳法得当formula_19时，formula_20成立。
原根的充要条件.证明formula_21为存在模n原根的充要条件。而formula_21当且仅当formula_23（formula_24）
必要