Mantido pelo grupo "Topologia do Interior"
Suponha que exista uma anticadeia não enumerável. Olhe para as primeiras coordenadas dos elementos da anticadeia.