Fixe um aberto não vazio. Use [[lista:teoremadebaire#id0_1-5|este exercício]] (infinitas vezes) e construa uma sequência decrescente de fechados, cada um contido num dos abertos densos.