Se A é um conjunto próprio de I_n, não pode existir uma bijeção f: A->I_n.
Esse é um teorema que tem no livro do Elon Volume I - Análise Real. pag .4
Só que tem uma parte que não entendo. Segue abaixo:
"Neste caso, a restrição de g a A - {n_0} é uma bijeção do subconjunto próprio A - {n_0} sobre I_{n_(0-1)}, o que contraria a minimalidade de n_0."
Grato.