>>711
>よって、pとnの間の素数で無いとすれば、n自身が素数になり、pが最大の素数という仮定に矛盾する。

この行の日本語がなんか変。