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. Al