DIRICHLET'S THEOREM EXTENDED [A5]
The infinite arithmetic series: a, a+b, a+2b, a+3b, ...
contains infinitely many consecutive primes [if hcf (a,b) = 1]
Proof:
using factorials