素数にまつわる有名定理の初等的証明

$\quad $$1～a$までの自然数からなる周期$p$の数列は$a^{p}$通り存在し,このうち周期が$1$でないものは$a^{p}-a$通り存在する.しかしこれらは第$n$項を第$n+c$項$(c\in\mathbb{N})$とみなした数列がある数列と一致する場合この二つを区別しないことにより$p$の倍数通りであったことがわかる.
よって
$a^p-a\equiv0\pmod p$
$\Longrightarrow$$a^{p-1}\equiv1\pmod p$
が成立する.

$\quad $$p$を法として議論する.
$\quad $整数列$ \lbrace {a_k} \rbrace (k=0, \cdots,p-1)$は各$n\in\mathbb{N}$について$\sum_{k=0}^{n}{a_k}$は互いに異なり,$\sum_{k=0}^{p-1}{a_k}=0$であるとする.また,ある数列$\lbrace {a'_k}\rbrace$が上の条件を満たし,ある$c\in\mathbb{N}$が存在し,すべての$k$について$a_k=a'_{k+c}$を満たすとき$\lbrace{a_k}\rbrace$と$\lbrace{a'_k}\rbrace$を区別しない.このような$\lbrace{a_k}\rbrace$のとり方が$A_p$通りあるとする.
$\quad $ところで$0～p-1$のp個の数を$0$を先頭に周期$p$で並べた数列は$(p-1)!$通りあり,階差数列を考えるとただ一つの$\lbrace{a_k}\rbrace$が対応する.
$\quad $逆に,$\lbrace{a_k}\rbrace$についてすべての項が同じでなければ対応する$p$個の周期$p$の数列があり,すべての項が同じ$p-1$個の$\lbrace{a_k}\rbrace$は,対応はただ一つである.
よって
$(p-1)!+(p-1)^2=p{B_p}$
$ \Longrightarrow(p-1)!=-1 $
が成立する.