是一般情况。formula_15formula_16formula_17formula_18由数学归纳法得当formula_19时，formula_20成立。
原根的充要条件.证明formula_21为存在模n原根的充要条件。而formula_21当且仅当formula_23（formula_24）
必要性.formula_25，若formula_26，则不存在阶为formula_27的模n元素，即不存在原根。