La conclusión es que existe una biyección entre formula_6 y uno de sus subconjuntos propios.