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