Redirecting to Dirichlet's theorem on arithmetic progressions