Does A035095 always have terms

[Max Alekseyev]

On Fri, Jul 11, 2008 at 4:52 PM, Alonso Del Arte
<alonso.delarte at gmail.com> wrote:
> I'm wondering if anyone has proven or disproven that for all n > 0
> there exists an a(n) in A035095, that is, whether for any prime p
> there is always another prime q such that (q - 1) is divisible by p.

That's a trivial consequence of Dirichlet's theorem:
http://mathworld.wolfram.com/DirichletsTheorem.html

Simply apply it to the arithmetic progression: 1 + p*n

Regards,
Max