a^{k_i} \not \equiv 1 \pmod {n}