互いに素なa,bを用いてan+bと表せる等差数列は少なくとも一つ素数を含むことを、算術級数定理を用いずに証明するにはどうしたらよいのでしょうか?