Twierdzenia Dirichleta o ciągach arytmetycznych