Dirichlet's theorem on mathematical progressions