In https://oeis.org/A001177, the first comment states the relation a(p^e) = p^(e-1)*a(p) as a conjecture. However, in the second formula, it is stated as a fact. Has Wall's conjecture been proved? One or the other of these entries needs to be changed. Franklin T. Adams-Watters