>>73
> 選択することにより、m+kを素数とすることができる。
>>79
> により、p≡b-a?0となり、pを素数にすることができる。

”できる”証明がどこにもない。