Dejemos que $a_i,b_i$ sean vectores en $\mathbb{Z}^n$ expresando el número de letras de cada tipo en $A_i,B_i$ . Si $k < n$ entonces podemos encontrar algún vector entero no nulo $v$ (sin divisor común) que es ortogonal a todos los $a_i - b_i$ . Esto significa que el producto interno con $v$ es invariable bajo las sustituciones $A_i \leftrightarrow B_i$ .
Ahora calcule el producto interno de $v$ con los histogramas de todas las palabras de longitud máxima $100$ y elegir algún número $M$ que no aparece en este conjunto de productos internos. Construir alguna palabra $w$ con un histograma cuyo producto interno con $v$ es $M$ (aquí utilizamos el hecho de que $v$ no tiene divisor común). La palabra $w$ no puede reducirse a $100$ letras o menos.
Obsérvese que siempre podemos encontrar tal $w$ que es una potencia de un solo carácter. Así que la intuición de la respuesta anterior era correcta.