Dirichlet%27s theorem on arithmetic progressions