  We were able in this paper to give a negative answer to the reverse question
of Graeme L. Cohen and Herman J. J. te Riele such that we showed that there is
no fixed integer $m $ for which $\sigma^k(m) = 0 \bmod m$ for all iterations
$k$ of sum divisor function using H.Lenstra problem result for Aliquot sequence
and we showed that there exists some integers $m$ such that $\sigma_k(m) \bmod
m$ is periodic with small period $L=2$(periodicity with small period dividing
$L$ the lcm the least common multiple of $1$+each exponents in the prime
factorization of $m$ ).A new equivalence to the Riemann hypothesis has been
added using congruence and divisibility among sum of power divisor function
where some numerical evidence in the stochastic (Random matrix theory) and
statistics context are presented such that we were able to derive new fit
distribution model from the behavior of the sequence $\sigma_k(m) \bmod m$
