\bigcap_{n\in N_0}U_n=\emptyset