Изменения

:<tex>\begin{tabular}{cc}|! Standart & ! de Bruijn \\|-| $\lambda x.x$ & | $\lambda .0$ \\|-| $\lambda z.z$ & | $\lambda .0$ \\|-| $\lambda x. \lambda y.x$ & | $\lambda . \lambda .1$\\|-| $\lambda x. \lambda y. \lambda s. \lambda z.x\ s\ (y\ s\ z)$ & | $\lambda . \lambda . \lambda . \lambda .3\ 1(2\ 1\ 0)$\\|-| $(\lambda x.x\ x)(\lambda x.x\ x)$ & | $(\lambda .0\ 0)(\lambda .0\ 0)$\\|-| $(\lambda x. \lambda x.x)(\lambda y.y)$ & | $(\lambda .\lambda .0)(\lambda .0)$\\\end{tabular|}</tex>

Функция, прибавляющая <tex>1 </tex> к числу, должна принимать первым аргументом число.

<tex>\operatorname{isPrimeHelp}</tex> {{---}} принимает число, которое требуется проверить на простоту и то, на что его надо опытаться поделить, перебирая это от <tex>2 </tex> до <tex>p-1</tex>. Если на что-нибудь разделилось, то число {{---}} составное, иначе {{---}} простое.