>>641
orz

(e^x)^y = e^(xy)を示したいんだよね。
で、
z^y = e^(y log z)と定義するんだよね。