[seqfan] Re: A000108(n) ≡ 1 (mod 6)

[L. Edson Jeffery]

Emmanuel,

With all respect, it seems that you are saying that the conjecture is true
because it is true. We know (Gauss) that 2 is a primitive root modulo 3^k,
for every k >= 1, and, for n>0, that 2^n modulo 3^k and 3^k are relatively
prime, and that the sequence {2, 2^2, 2^3, ...} taken modulo 3^k is
periodic, and that the period is 2*3^(k-1). Having stated those facts, how
do we conclude that the periodicity of column k and the relative frequency
of the digits 0,1,2 both follow as a consequence?

Ed Jeffery