Oración 1: el teorema demuestra que no es posible encontrar un emparejamiento uno a uno, una biyección, entre el primer conjunto infinito y el conjunto de sus partes
Oración 2: este segundo debe ser de un tamaño mayor
Conector: es decir,
Relación: entailment
Género: theses