En cualquier caso, el conjunto A de enteros que se pueden definir con menos de quince palabras es finito.