$k>2$, Forma una secuencia cuyo término enésimo es el primer n que no es un divisor de $k$ modulo $k$.
por ejemplo, $k=4$, la secuencia sería 1,3,1,3,3,1,1,3,3,1,3,1...
¿Es esta secuencia normal, en el sentido de que cada cadena de longitud $w$ formado de números en ${1..k}$ coprimo a $k$ se presenta como un bloque de mandatos consecutivos con densidad asintótica $\frac{1}{\phi(k)^w}$?
Tenga en cuenta que el caso $w=1$ es equivalente al teorema de Dirichlet.