Intersection of Exteriors of Singleton Rationals is Irrationals

Theorem
Let $B_\alpha$ be the singleton containing the rational number $\alpha$.

Then:
 * $\displaystyle \bigcap_{\alpha \mathop \in \Q} B_\alpha^e = \R \setminus \Q$

where $B_\alpha^e$ denotes the exterior of $B_\alpha$ in $\R$.