Update prime-check-miller-rabin.tex