Grzegorz Herman Michael Soltys A polytime proof of correctness of the Rabin-Miller algorithm from Fermat's little theorem http://arxiv.org/abs/0811.3959 2008 CoRR abs/0811.3959 db/journals/corr/corr0811.html#abs-0811-3959 informal publication