Éste puede probarse considerando cualquier raíz primitiva módulo n y el teorema chino del resto.