Conditions for Integer to have Primitive Root/Historical Note

Historical Note on Conditions for Integer to have Primitive Root
This was first proved by in $1801$.