\bigcap_{n=1}^{\infty}(G^c\cap U_n)=G^c\cap\bigcap_{n=1}^{\infty}U_n=G^c\cap\emptyset=\emptyset