7ページ 結論の一つ前の段落 最後の2行
「上記の証明と同様に矛盾が生じるから、・・・」とありますが、
p_x=pのときは、同様に矛盾が生じません。

m≠nのときは、一般には、
p^n(p^m+・・・+1)≠p^m(p^n+・・・+1)
となります。