Dirichlet's theorem