Dirichlet theorem on arithmetic progressions