2以上の自然数nに対して、次の条件を満たすa[n] を定める。

　・ 素数pに対して、a[p]=p
　・ n=pk (pは素数、kは2以上の整数) のとき、a[n] = p + a[k]




この数列って、ユニークに定まりますか？
第2の条件で、ｎの分解の仕方によって、a[n] が変わってこないか・・・という心配があるのですが、
どうでしょう？