vlsergey/infosec — pull request #1348 by emil-ufa (2014-11-11 19:13:28+00:00)
Title: Update prime-check-ferma.tex

встретить *что?* "свидетель простоты".
В тесте Миллера в пособии пишется "...в которые нужно будет возводить потенциальные свидетели простоты...", т.е. "свидетель простоты" - неодушевленное. Соответственно, и здесь тоже.