Order verification from divisors

To verify a candidate order $r$, check $a^r\equiv 1$ and rule out $a^{r/q}\equiv 1$ for every prime divisor $q$ of $r$.