Teorema.

Sea un conjunto; supongamos que existe una biyeccin que existe :

{1, , } para algn + . Sea un conjunto propio de . Entonces no existen biyeccin
alguna : {1, , }, pero (si ) s existe una biyeccin : {1, , } para algn
< .
Demostracin
Sea un conjunto. Supongamos que existe una biyeccin que existe : {1, , } para
algn + . Sea un conjunto propio de .
El caso en que = es trivial, ya que no puede existir una biyeccin entre el
conjunto vaco y el conjunto no vaco {1, , }.
Asumamos que . Haremos la demostracin por induccin.
Sea el subconjunto de + formado por aquellos enteros para los cuales el teorema
es cierto. Probaremos que es inductivo. As concluiremos que = + y, por tanto, el
teorema es cierto para todos los enteros positivos .
) Demostraremos el resultado para = 1. As, existe una biyeccin : {1}. En este
caso est formado por un nico elemento, = {}, y su nico subconjunto propio es el
conjunto vaco, = .
) Supongamos ahora que el teorema es cierto para + . Necesitamos probar que se
cumple para + 1.
Sea : {1, , + 1} una biyeccin y sea un subconjunto propio no vaco de
. Elegimos un elemento 0 de y un elemento 1 de . Aplicando el lema Sea un
entero positivo. Sean un conjunto y 0 un elemento de . Entonces existe una
correspondencia biyectiva entre el conjunto y el conjunto {1, , + 1} si y solo si existe
una correspondencia biyectiva entre el conjunto {0 } con {1, , }, dado que :
{1, , + 1}, podemos deducir que existe una biyeccin
: {0 } {1, , }.
Por otro lado, como es un subconjunto propio de , entonces {0 } es un
subconjunto propio de {0 }, ya que 1 pertenece a {0 } y no a {0 }