Para verificar tal afirmación es necesario encontrar un subconjunto propio y construir una biyección entre ambos.