Supongamos que tenemos una pila vertical de $n$ monedas distinguibles, cada una de las cuales está boca arriba o boca abajo. Sea una mezcla el siguiente procedimiento: dividir la pila a voluntad en una pila superior e inferior, y simplemente rotar toda la pila superior $180^\circ$ como unidad. Así, para $1\le k\le n$:
$$\underbrace{x_1,...,x_{k}}_{\text{pila superior}},\underbrace{x_{k+1},...,x_n}_{\text{pila inferior}} \\ \downarrow\\ \overline{x_k},...,\overline{x_{1}}, x_{k+1},...,{x_{n}}$$
donde cada $x_i$ es o bien $H_i$ o $T_i$, y
$$\overline{x_i} = \begin{cases} H_i, & \text{si }x_i = T_i \\ T_i, & \text{si }x_i = H_i. \end{cases} $$
Dado que hay $2^n$ secuencias concebibles de $H/T$ sin subíndices, y hay $n!$ formas de agregar los subíndices a cada una, hay $n! \cdot 2^n$ formas concebibles de organizar la pila.
¿Es el caso que, para cualquier $n$, todas estas disposiciones concebibles son alcanzables mediante mezclas repetidas (independientemente de la disposición inicial)?