Si no es así, entonces la unión es aún más pequeña y por lo tanto también enumerable mediante uno de los teoremas anteriores.