Update prime-check-ferma.tex

встретить *что?* "свидетель простоты".
В тесте Миллера в пособии пишется "...в которые нужно будет возводить потенциальные свидетели простоты...", т.е. "свидетель простоты" - неодушевленное. Соответственно, и здесь тоже.
Merge pull request #1348 from emil-ufa/patch-14

Update prime-check-ferma.tex