Mantido pelo grupo "Topologia do Interior"
Mostre que $A_{n+1}$ é um aberto denso em $A_n$ para todo $n\in\omega$.