Update prime-check-miller.tex

выделил вводную конструкцию запятыми