>>236
y=b×p^n

>>237
だから、証明できない部分を飛ばして、>>221に書いた合同式が全てのk
に対して成り立つことが判明したと言っているし、それを確認したという
人間の声が聞こえてきていると言っているだろう。

>>241
n=4m+1(mは整数)だからn=2なんてない。