Update prime-check-naive.tex