>>93
証明されてる事実だから、有効。

ちなみに y=0 なら
　x^y = exp(log(x)y) = exp(0) = 1
だから、対数関数が多価関数であっても、これだけは 1 となる。