ThmDex – An index of mathematical definitions, results, and conjectures.
Dirichlet's theorem
Formulation 0
Let $P$ be the D2276: Set of prime integers.
Let $n, m \in 1, 2, 3, \ldots$ each be a D5094: Positive integer such that
(i) $n, m$ is a D1238: Coprime integer collection
(ii) \begin{equation} X : = \{ n + k m : k \in 1, 2, 3, \ldots \} \end{equation}
Then \begin{equation} |X \cap P| = \infty \end{equation}