Se $A \in \tau$ e $a \in A$, então existe $b \in \mathbb{N}_{>0}$ tal que $\{a + bz: z \in \mathbb{Z}\} \subset A$. Note que $\{a + bz: z \in \mathbb{Z}\}$ é infinito, portanto $A$ também é.