Update prime-check-ferma.tex