Twierdzenie Dirichleta

Jeżeli $$a,r\in\mathbb{N_+}$$ i $$NWD (a,r)=1$$, to ciąg arytmetyczny o podstawie $$a$$ i różnicy $$r$$ zawiera nieskończenie wiele liczb pierwszych.