Mantido pelo grupo "Topologia do Interior"
Para mostrar a propriedade 4, mostre primeiro que $A_{n+1}$ é denso em $A_n$.