sicp 1.2.6, 关于费马小定理实现中的, 若a^n % b = x, 则: a^2n % b = x^2 % b 的简易证明

fermat-test.scm

;费马小定理: 如果 n 是一个素数, a是小于n 的任意正整数, 那么 a的n次方 与 a 模n同余(除以 n 的余数相同).
;  计算一个数的幂, 对另一个数取模的结果.
(define (fermat-test n)
    (define (try-it a)
        ; 因为 a 小于n, 所以 a/n 的余数就是 a.
        (= (expmode a n n) a)
    )
    (try-it (+ 1 (random (- n 1))))
)