>>669
>>656 で a,b は正の整数でなければいけないと書かれていたので、a,b が連続する素数 p_n, p_{n+1}の場合でなくても正整数なら同様の証明で >>658 が成り立つのかというのが気になっています。