a\in\bigcap_{n\in N_0}K_n