>>589の
>a^x=log_a(x)が異なる2つの整数解を持つ⇔a^x=xが異なる2つの整数解を持つ
っていきなり言い切っていいものなのかな