Similarity of A000799 & A064355

[Max]

On 2/14/06, franktaw at netscape.net <franktaw at netscape.net> wrote:
>
> A000799(n) = A064355(n) only for:
> (1) n a power of 2.
> (2) n = p * 2^k, where p is a prime with p > 2^{2^k - k}.  (Including the
> case k=0.)
> (3) n = 9.

Did I get you correctly that you have a proof only in one direction?
Namely,
if n satisfy (1), (2), or (3) then A000799(n) = A064355(n)

What's about the converse?

Max