También puede demostrarse que si formula_21 con p un primo impar (mayor que 2), entonces existen raíces primitivas módulo "n", así como también existen raíces primitivas módulo "n" cuando n=1, formula_22, siendo "p", como antes, un primo impar.