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.