Update prime-check-miller-rabin.tex

не хватает двоеточия