Dirichlet's Theorem Extended
The infinite arithmetic series: a, a+b, a+2b, a+3b, ...
contains infinitely many consecutive primes [if hcf (a,b) = 1]
Proof:
using factorials