Suponha que exista uma anticadeia não enumerável. Olhe para as primeiras coordenadas dos elementos da anticadeia.