Non-Empty Open Set of Furstenberg Topology is Infinite

Theorem
Let $\struct {\Z, \tau}$ be the topological space formed by the Furstenberg topology on the set of integers $\Z$.

Let $U \in \tau$ such that $U \ne \O$.

Then $U$ is an infinite set.