Original sentence: (Hardy and Wright, p.The constant can be proved to be irrational by the use of either Dirichlet's theorem on arithmetic progressions or Chebyshev's theorem.where p(n) is the nth prime number
Edited sentence: It also follows directly from its normality (see below).The constant is irrational; this can be proved with Dirichlet's theorem on arithmetic progressions or Chebyshev's theorem (Hardy and Wright, p.where pn is the nth prime number