用整数幂的定义证明 a^(x+y) = a^x * a^y 。