フェルマー素数は無限にあることの証明

フェルマー素数は無限にあることの証明。（書き方が手抜きで解読が難しい）
$ 2^{2^m}=p-1=n$
$ 2^m=log_2 n$
$m=log _2(log_2 n)$
$n_0=2$
$n_k=2^{2^k}$
$n_k - n_{k-1}=(2^{k-1}-1)n_{k-1} =X_k$
$\sum_{k=1}^n X_k +n_0=n_k=T$
$p-1=n_k+X_{k+1}+X{k+2}+……X_{k+l} =T_2$
$p=T_2+1$
■