>>136について再度訂正:
対数関数 a=log_x|y| y∈R\{0} の「逆対応」は二価の多価関数になって、a=±y^x になる。