Este resultado combina una afirmación general válida para números mayores que 10 con una búsqueda minuciosa informatizada de los casos pequeños.