#| Для этого упражнения нет проверок.
Любое решение будет считаться успешным ответом. |#

#|
  Процесс приобретает порядок Θ(n) из-за того, что на каждом шаге, когда exp чётно, expmod
  будет вычисляться дважды. В случае square, из-за аппликативного характера подстановки, на
  каждом шаге expmod вычисляется единожды (т.к. выражения переданные в качестве аргументов
  вычисляются первее тела процедуры).
|#