towards Fermat's little theorem: powers
a
j
mod n
n
=