Update prime-check-miller.tex